Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/ecc.c vli_mod_mult_fast() -> vli_mmod_fast()

Type Parameter Key Value
PARAM_VALUE 1 product 6358993945487458304
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->n 0,4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 8-s32max
BUF_SIZE 0 result 8-s32max
BUF_SIZE 1 product 144
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 0 result $0
DATA_SOURCE 2 curve $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c vli_mod_square_fast() -> vli_mmod_fast()

Type Parameter Key Value
PARAM_VALUE 1 product 6027494995232227328
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->n 0,4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 0 result 72
BUF_SIZE 1 product 144
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
DATA_SOURCE 0 result $0
DATA_SOURCE 2 curve $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL