Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/crypto/mpi/mpi-pow.c mpi_powm() -> mpihelp_rshift()

Type Parameter Key Value
PARAM_VALUE 0 wp 0,4096-ptr_max
PARAM_VALUE 1 up 0,4096-ptr_max
PARAM_VALUE 3 cnt 1-u32max
BUF_SIZE 0 wp 1-s32max
BUF_SIZE 0 wp 1-s32max
BUF_SIZE 1 up 1-s32max
BUF_SIZE 1 up 1-s32max
CAPPED_DATA 2 usize 1
DATA_SOURCE 3 cnt r count_leading_zeros
NOSPEC 2 usize
NOSPEC 2 usize
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 usize 2-1792[c]
UNITS 2 usize unit_array_size
HALF_LOCKED2 &key->sem

lib/crypto/mpi/mpi-pow.c mpi_powm() -> mpihelp_rshift()

Type Parameter Key Value
PARAM_VALUE 0 wp 4096-ptr_max
PARAM_VALUE 1 up 4096-ptr_max
PARAM_VALUE 2 usize s32min-(-1),1-s32max
PARAM_VALUE 3 cnt 1-u32max
CAPPED_DATA 2 usize 1
DATA_SOURCE 3 cnt r count_leading_zeros
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 usize unit_array_size
HALF_LOCKED2 &key->sem

lib/crypto/mpi/mpi-bit.c mpi_rshift() -> mpihelp_rshift()

Type Parameter Key Value
PARAM_VALUE 0 wp 0,4096-ptr_max
PARAM_VALUE 1 up 0,4096-ptr_max
PARAM_VALUE 2 usize s32min-(-1),1-s32max
PARAM_VALUE 3 cnt 1
BUF_SIZE 0 wp 1-s32max
BUF_SIZE 1 up 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 usize unit_array_size
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

lib/crypto/mpi/mpi-bit.c mpi_rshift() -> mpihelp_rshift()

Type Parameter Key Value
PARAM_VALUE 0 wp 4096-ptr_max
PARAM_VALUE 1 up 4096-ptr_max
PARAM_VALUE 2 usize s32min-(-1),1-s32max
PARAM_VALUE 3 cnt 1
BUF_SIZE 0 wp 1-s32max
BUF_SIZE 1 up 1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 usize
UNITS 2 usize unit_array_size
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

lib/crypto/mpi/mpi-bit.c mpi_rshift() -> mpihelp_rshift()

Type Parameter Key Value
PARAM_VALUE 0 wp 0,4096-ptr_max
PARAM_VALUE 2 usize s32min-(-1),1-s32max
PARAM_VALUE 3 cnt 1
BUF_SIZE 0 wp 1-s32max
BUF_SIZE 1 up 1-s32max
CAPPED_DATA 2 usize 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 usize
UNITS 2 usize unit_array_size
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

lib/crypto/mpi/mpi-div.c mpi_tdiv_qr() -> mpihelp_rshift()

Type Parameter Key Value
PARAM_VALUE 2 usize s32min-(-1),2-s32max
PARAM_VALUE 3 cnt 1-u32max
BUF_SIZE 0 wp 1-s32max
BUF_SIZE 0 wp 1-s32max
BUF_SIZE 1 up 1-s32max
BUF_SIZE 1 up 1-s32max
DATA_SOURCE 3 cnt r count_leading_zeros
BIT_INFO 3 cnt 0x0,0x7fffffff
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 usize
UNITS 2 usize unit_array_size