Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/crypto/mpi/mpi-add.c mpi_add() -> mpihelp_add()

Type Parameter Key Value
PARAM_VALUE 4 s2_size s32min-(-1),1-s32max
BUF_SIZE 0 res_ptr 1-s32max
BUF_SIZE 0 res_ptr 1-s32max
BUF_SIZE 1 s1_ptr 1-s32max
BUF_SIZE 1 s1_ptr 1-s32max
BUF_SIZE 3 s2_ptr 1-s32max
BUF_SIZE 3 s2_ptr 1-s32max
CAPPED_DATA 4 s2_size 1
PARAM_COMPARE 2 s1_size >= $4
PARAM_COMPARE 4 s2_size <= $2
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 s1_size
NO_OVERFLOW_SIMPLE 4 s2_size
UNITS 2 s1_size unit_array_size
UNITS 4 s2_size unit_array_size