Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
crypto/ecc.c ecc_point_double_jacobian() -> vli_test_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 0 |
| BUF_SIZE | 0 | vli | 8-s32max |
| BUF_SIZE | 0 | vli | 8-s32max |
| DATA_SOURCE | 0 | vli | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/ecc.c ecc_point_mult() -> vli_test_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 1-s32max |
| BUF_SIZE | 0 | vli | 72 |
| BUF_SIZE | 0 | vli | 72 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/ecc.c ecc_point_mult() -> vli_test_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | bit | 0 |
| BUF_SIZE | 0 | vli | 72 |
| BUF_SIZE | 0 | vli | 72 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/ecc.c ecc_point_mult_shamir() -> vli_test_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vli | 5551982396269572096,8083836569527193600 |
| BUF_SIZE | 0 | vli | 64,72 |
| BUF_SIZE | 0 | vli | 64,72 |
| DATA_SOURCE | 0 | vli | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/ecc.c ecc_point_mult_shamir() -> vli_test_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vli | 4012762346941906944,6992815334817284096 |
| BUF_SIZE | 0 | vli | 64,72 |
| BUF_SIZE | 0 | vli | 64,72 |
| DATA_SOURCE | 0 | vli | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/ecc.c ecc_point_mult_shamir() -> vli_test_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vli | 5551982396269572096,8083836569527193600 |
| PARAM_VALUE | 1 | bit | 0-s32max |
| BUF_SIZE | 0 | vli | 64,72 |
| BUF_SIZE | 0 | vli | 64,72 |
| DATA_SOURCE | 0 | vli | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/ecc.c ecc_point_mult_shamir() -> vli_test_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vli | 4012762346941906944,6992815334817284096 |
| PARAM_VALUE | 1 | bit | 0-s32max |
| BUF_SIZE | 0 | vli | 64,72 |
| BUF_SIZE | 0 | vli | 64,72 |
| DATA_SOURCE | 0 | vli | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/ecc.c vli_is_negative() -> vli_test_bit()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vli | 2115378017890078720,5594039353691275264 |
| PARAM_VALUE | 0 | *vli | 0 |
| PARAM_VALUE | 1 | bit | 0-32639,u32max |
| BUF_SIZE | 0 | vli | 144 |
| BUF_SIZE | 0 | vli | 144 |
| CAPPED_DATA | 1 | bit | 1 |
| DATA_SOURCE | 0 | vli | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |