Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
crypto/ecc.c vli_mmod_barrett() -> vli_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | result | 1186206442035384320 |
| PARAM_VALUE | 3 | ndigits | 0-255 |
| BUF_SIZE | 0 | result | 144 |
| DATA_SOURCE | 3 | ndigits | $3 |
| PARAM_COMPARE | 2 | right | > $3 |
| PARAM_COMPARE | 2 | right | > $3 |
| PARAM_COMPARE | 3 | ndigits | < $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | ndigits | unit_array_size |
crypto/ecc.c vli_mmod_barrett() -> vli_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | result | 6478384016409944064 |
| PARAM_VALUE | 1 | left | 4096-ptr_max |
| PARAM_VALUE | 3 | ndigits | 0-255 |
| BUF_SIZE | 0 | result | 144 |
| CAPPED_DATA | 3 | ndigits | 1 |
| DATA_SOURCE | 1 | left | $2 |
| DATA_SOURCE | 3 | ndigits | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | ndigits | unit_array_size |
crypto/ecc.c vli_mod_mult_fast() -> vli_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | result | 6358993945487458304 |
| BUF_SIZE | 0 | result | 144 |
| BUF_SIZE | 1 | left | (-1),8-s32max |
| BUF_SIZE | 1 | left | (-1),8-s32max |
| BUF_SIZE | 2 | right | 8-s32max |
| BUF_SIZE | 2 | right | 8-s32max |
| CAPPED_DATA | 3 | ndigits | 1 |
| DATA_SOURCE | 1 | left | $1 |
| DATA_SOURCE | 2 | right | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | ndigits | unit_array_size |
crypto/ecc.c vli_mod_mult_slow() -> vli_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | result | 3365648484401074176 |
| PARAM_VALUE | 2 | right | 5769293948855439360,8157645667639644160 |
| PARAM_VALUE | 3 | ndigits | 1-536870911 |
| BUF_SIZE | 0 | result | 144 |
| BUF_SIZE | 1 | left | 64,72 |
| BUF_SIZE | 1 | left | 64,72 |
| BUF_SIZE | 2 | right | 64,72 |
| BUF_SIZE | 2 | right | 64,72 |
| CAPPED_DATA | 3 | ndigits | 1 |
| DATA_SOURCE | 1 | left | $1 |
| DATA_SOURCE | 2 | right | $2 |
| DATA_SOURCE | 3 | ndigits | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | ndigits | unit_array_size |