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/mpi-pow.c mpihelp_sub() -> mpihelp_sub_n()

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 0,4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s2_ptr 0,4096-ptr_max
PARAM_VALUE 3 size s32min-(-1),1-s32max
BUF_SIZE 0 res_ptr 1-s32max
BUF_SIZE 0 res_ptr 1-s32max
BUF_SIZE 2 s2_ptr 1-s32max
BUF_SIZE 2 s2_ptr 1-s32max
DATA_SOURCE 0 res_ptr $0
DATA_SOURCE 1 s1_ptr $1
DATA_SOURCE 2 s2_ptr $3
DATA_SOURCE 3 size $4
FUZZY_MAX 3 size 1
NOSPEC 3 size
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 2-1792[c]
UNITS 3 size unit_array_size
HALF_LOCKED2 &key->sem

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

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size s32min-(-1),3-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 0 res_ptr $2 [m]
DATA_SOURCE 1 s1_ptr $2 [m]
DATA_SOURCE 2 s2_ptr $4
DATA_SOURCE 3 size $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 res_ptr 4096-ptr_max[u]
USER_DATA 1 s1_ptr 4096-ptr_max[u]
UNITS 3 size unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 3 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 2 s2_ptr 1-s32max
BUF_SIZE 2 s2_ptr 1-s32max
CAPPED_DATA 3 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 3 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 2 s2_ptr 1-s32max
BUF_SIZE 2 s2_ptr 1-s32max
CAPPED_DATA 3 size 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 3 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 2 s2_ptr 1-s32max
BUF_SIZE 2 s2_ptr 1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 0 res_ptr $0
DATA_SOURCE 1 s1_ptr $1
DATA_SOURCE 2 s2_ptr $3
DATA_SOURCE 3 size $4
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size

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

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

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

Type Parameter Key Value
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size 8-1073741823
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
DATA_SOURCE 0 res_ptr $0
DATA_SOURCE 1 s1_ptr $1
FUZZY_MAX 3 size 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 3 size 8-384[c]

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

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size 16-s32max
BUF_SIZE 2 s2_ptr (-1)-s32max
BUF_SIZE 2 s2_ptr (-1)-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 2 s2_ptr $3
DATA_SOURCE 3 size $2
FUZZY_MAX 3 size 16
BIT_INFO 3 size 0x0,0x7ffffffe
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 16-768[c]
UNITS 3 size unit_array_size

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

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

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

Type Parameter Key Value
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size 8-1073741823
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
FUZZY_MAX 3 size 16
NOSPEC 1 s1_ptr
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 s1_ptr 4096-ptr_max[c][u]
USER_DATA 3 size 8-760[c]

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 res_ptr 4096-ptr_max
PARAM_VALUE 1 s1_ptr 4096-ptr_max
PARAM_VALUE 2 s2_ptr 4096-ptr_max
PARAM_VALUE 3 size 16-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
BUF_SIZE 2 s2_ptr (-1),1-s32max
CAPPED_DATA 3 size 1
DATA_SOURCE 2 s2_ptr $4
DATA_SOURCE 3 size $3
FUZZY_MAX 3 size 16
BIT_INFO 3 size 0x0,0x7ffffffe
NOSPEC 3 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 3 size 16-1520[c]
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_array_size