Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 4 vsize s32min-(-1),1-s32max
PARAM_VALUE 5 _result 2181240299151302656
BUF_SIZE 0 prodp 1-s32max
BUF_SIZE 0 prodp 1-s32max
BUF_SIZE 1 up (-1),1-s32max
BUF_SIZE 1 up (-1),1-s32max
BUF_SIZE 3 vp (-1),1-s32max
BUF_SIZE 3 vp (-1),1-s32max
CAPPED_DATA 4 vsize 1
PARAM_COMPARE 2 usize >= $4
PARAM_COMPARE 4 vsize <= $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 usize unit_array_size
UNITS 4 vsize unit_array_size

lib/crypto/mpi/mpi-pow.c mpi_powm() -> mpihelp_mul()

Type Parameter Key Value
PARAM_VALUE 0 prodp 0,4096-ptr_max
PARAM_VALUE 1 up 4096-ptr_max
PARAM_VALUE 4 vsize s32min-(-1),1-15
PARAM_VALUE 5 _result 5623930587512328192
BUF_SIZE 0 prodp (-1),1-s32max
BUF_SIZE 0 prodp (-1),1-s32max
BUF_SIZE 1 up (-1),1-s32max
BUF_SIZE 1 up (-1),1-s32max
BUF_SIZE 3 vp (-1),1-s32max
BUF_SIZE 3 vp (-1),1-s32max
CAPPED_DATA 2 usize 1
CAPPED_DATA 4 vsize 1
FUZZY_MAX 4 vsize 15
NOSPEC 2 usize
NOSPEC 2 usize
NOSPEC 4 vsize
NOSPEC 4 vsize
HARD_MAX 4 vsize 15
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 usize 4-1536[c]
USER_DATA 4 vsize 2-15[c]
UNITS 2 usize unit_array_size
UNITS 4 vsize unit_array_size
HALF_LOCKED2 &key->sem

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

Type Parameter Key Value
PARAM_VALUE 0 prodp 1-u64max
PARAM_VALUE 2 usize 16-s32max
PARAM_VALUE 3 vp 4096-u64max
PARAM_VALUE 4 vsize s32min-(-1),1-15
PARAM_VALUE 5 _result 1609911976618487808
BUF_SIZE 0 prodp (-1),1-s32max
BUF_SIZE 0 prodp (-1),1-s32max
BUF_SIZE 1 up (-1),1-s32max
BUF_SIZE 1 up (-1),1-s32max
CAPPED_DATA 2 usize 1
CAPPED_DATA 4 vsize 1
DATA_SOURCE 1 up $3
DATA_SOURCE 2 usize $4
DATA_SOURCE 3 vp $1 [m]
DATA_SOURCE 4 vsize $2 [m]
FUZZY_MAX 2 usize 16
PARAM_COMPARE 2 usize > $4
PARAM_COMPARE 4 vsize < $2
NOSPEC 1 up
NOSPEC 1 up
NOSPEC 2 usize
NOSPEC 2 usize
NOSPEC 3 vp
NOSPEC 3 vp
NOSPEC 4 vsize
NOSPEC 4 vsize
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 up 4096-ptr_max[c][u]
USER_DATA 2 usize 16-1520[c]
USER_DATA 3 vp 4096-ptr_max[c][u]
USER_DATA 4 vsize (-1516)-(-1),1-15[c]
NO_OVERFLOW_SIMPLE 2 usize
NO_OVERFLOW_SIMPLE 4 vsize
UNITS 2 usize unit_array_size
UNITS 4 vsize unit_array_size