Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

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
BUF_SIZE 1 up 1-s32max
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-pow.c mpi_powm() -> mpihelp_lshift()

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 1 up (-1),1-s32max
BUF_SIZE 1 up (-1),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
USER_DATA 2 usize 2-1792[c]
UNITS 2 usize unit_array_size
HALF_LOCKED2 &key->sem

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

Type Parameter Key Value
PARAM_VALUE 0 wp 1-u64max
PARAM_VALUE 1 up 4096-ptr_max
PARAM_VALUE 2 usize s32min-0,2-s32max
PARAM_VALUE 3 cnt 1-u32max
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
UNITS 2 usize unit_array_size

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

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