Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/crypto/mpi/mpih-mul.c mpih_sqr_n_basecase() -> mpihelp_mul_1()

Type Parameter Key Value
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s1_size s32min-15
PARAM_VALUE 3 s2_limb 2-u64max
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
CAPPED_DATA 2 s1_size 1
DATA_SOURCE 0 res_ptr $0
DATA_SOURCE 1 s1_ptr $1
DATA_SOURCE 2 s1_size $2
FUZZY_MAX 2 s1_size 15
FUZZY_MAX 3 s2_limb 2
NOSPEC 2 s1_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 s1_size 2-15[c]
UNITS 2 s1_size unit_array_size

lib/crypto/mpi/mpih-mul.c mpihelp_mul() -> mpihelp_mul_1()

Type Parameter Key Value
PARAM_VALUE 3 s2_limb 2-u64max
BUF_SIZE 0 res_ptr (-1),1-s32max
BUF_SIZE 0 res_ptr (-1),1-s32max
BUF_SIZE 1 s1_ptr (-1),1-s32max
BUF_SIZE 1 s1_ptr (-1),1-s32max
DATA_SOURCE 0 res_ptr $0
DATA_SOURCE 1 s1_ptr $1
DATA_SOURCE 2 s1_size $2
FUZZY_MAX 3 s2_limb 2
NOSPEC 1 s1_ptr
NOSPEC 1 s1_ptr
NOSPEC 2 s1_size
NOSPEC 2 s1_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 s1_ptr 4096-ptr_max[c][u]
USER_DATA 2 s1_size 4-1536[c]
UNITS 2 s1_size unit_array_size

lib/crypto/mpi/mpih-mul.c mul_n_basecase() -> mpihelp_mul_1()

Type Parameter Key Value
PARAM_VALUE 3 s2_limb 2-u64max
BUF_SIZE 0 res_ptr (-1),1-s32max
BUF_SIZE 0 res_ptr (-1),1-s32max
BUF_SIZE 1 s1_ptr (-1),1-s32max
BUF_SIZE 1 s1_ptr (-1),1-s32max
CAPPED_DATA 2 s1_size 1
DATA_SOURCE 0 res_ptr $0
DATA_SOURCE 1 s1_ptr $1
DATA_SOURCE 2 s1_size $3
FUZZY_MAX 3 s2_limb 2
NOSPEC 1 s1_ptr
NOSPEC 2 s1_size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 s1_ptr 4096-ptr_max[c][u]
USER_DATA 2 s1_size 8-15[c]
NO_OVERFLOW_SIMPLE 2 s1_size
UNITS 2 s1_size unit_array_size