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 mpihelp_sub() -> mpihelp_sub_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 1-u64max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size (-2147483647)-s32max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 s1_size (-2147483647)-s32max[c]
HALF_LOCKED2 &key->sem

lib/crypto/mpi/mpi-add.c mpihelp_sub() -> mpihelp_sub_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

lib/crypto/mpi/mpi-sub-ui.c mpi_sub_ui() -> mpihelp_sub_1()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 0,4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size s32min-(-1),1-s32max
PARAM_VALUE 3 s2_limb 1
BUF_SIZE 0 res_ptr 1-s32max
BUF_SIZE 1 s1_ptr 1-s32max
DATA_SOURCE 3 s2_limb $2
FUZZY_MAX 2 s1_size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 s1_size unit_array_size