Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/crypto/mpi/mpih-div.c mpihelp_divrem() -> mpihelp_cmp()

Type Parameter Key Value
PARAM_VALUE 0 op1_ptr 4096-ptr_max
PARAM_VALUE 1 op2_ptr 4096-ptr_max
BUF_SIZE 1 op2_ptr (-1),1-s32max
BUF_SIZE 1 op2_ptr (-1),1-s32max
CAPPED_DATA 2 size 1
DATA_SOURCE 0 op1_ptr $2 [m]
DATA_SOURCE 1 op2_ptr $4
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 op1_ptr 4096-ptr_max[u]

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

Type Parameter Key Value
PARAM_VALUE 2 size s32min-(-1),1-s32max
BUF_SIZE 0 op1_ptr 1-s32max
BUF_SIZE 0 op1_ptr 1-s32max
BUF_SIZE 1 op2_ptr 1-s32max
BUF_SIZE 1 op2_ptr 1-s32max
CAPPED_DATA 2 size 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 2 size
UNITS 2 size unit_array_size

lib/crypto/mpi/mpi-cmp.c mpi_cmp() -> mpihelp_cmp()

Type Parameter Key Value
PARAM_VALUE 2 size s32min-(-1),1-s32max
BUF_SIZE 0 op1_ptr 1-s32max
BUF_SIZE 1 op2_ptr 1-s32max
RX_PATH
TASK_NOT_RUNNING
UNITS 2 size unit_array_size

lib/crypto/mpi/mpih-mul.c mpih_sqr_n() -> mpihelp_cmp()

Type Parameter Key Value
PARAM_VALUE 0 op1_ptr 4096-ptr_max
PARAM_VALUE 2 size 8-1073741823
BUF_SIZE 1 op2_ptr (-1)-s32max
BUF_SIZE 1 op2_ptr (-1)-s32max
DATA_SOURCE 1 op2_ptr $1
FUZZY_MAX 2 size 16
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 size 8-384[c]

lib/crypto/mpi/mpih-mul.c mul_n() -> mpihelp_cmp()

Type Parameter Key Value
PARAM_VALUE 0 op1_ptr 4096-ptr_max
PARAM_VALUE 2 size 8-1073741823
BUF_SIZE 1 op2_ptr (-1),1-s32max
BUF_SIZE 1 op2_ptr (-1),1-s32max
DATA_SOURCE 1 op2_ptr $1
FUZZY_MAX 2 size 16
NOSPEC 1 op2_ptr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 op2_ptr 4096-ptr_max[c][u]
USER_DATA 2 size 8-760[c]

lib/crypto/mpi/mpih-mul.c mul_n() -> mpihelp_cmp()

Type Parameter Key Value
PARAM_VALUE 0 op1_ptr 4096-ptr_max
PARAM_VALUE 2 size 8-1073741823
BUF_SIZE 1 op2_ptr (-1),1-s32max
BUF_SIZE 1 op2_ptr (-1),1-s32max
DATA_SOURCE 1 op2_ptr $2
FUZZY_MAX 2 size 16
NOSPEC 1 op2_ptr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 op2_ptr 4096-ptr_max[c][u]
USER_DATA 2 size 8-760[c]