Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/crypto/intel/keembay/keembay-ocs-ecc.c kmb_ecc_do_public_key() -> kmb_ecc_point_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | result | 4096-ptr_max |
| PARAM_VALUE | 1 | result->x | 4096-ptr_max |
| PARAM_VALUE | 1 | result->y | 4096-ptr_max |
| PARAM_VALUE | 2 | point | 4096-ptr_max |
| PARAM_VALUE | 4 | curve | 4096-ptr_max |
| BUF_SIZE | 1 | result | 24 |
| BUF_SIZE | 3 | scalar | 48 |
| DATA_SOURCE | 1 | result | r ecc_alloc_point |
drivers/crypto/intel/keembay/keembay-ocs-ecc.c kmb_ecc_do_shared_secret() -> kmb_ecc_point_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ecc_dev->base_reg | 4096-ptr_max |
| PARAM_VALUE | 0 | ecc_dev->irq_done.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 4096-ptr_max |
| PARAM_VALUE | 1 | result->ndigits | 1-255 |
| PARAM_VALUE | 1 | result->x | 4096-ptr_max |
| PARAM_VALUE | 1 | result->y | 4096-ptr_max |
| PARAM_VALUE | 2 | point | 4096-ptr_max |
| PARAM_VALUE | 2 | point->ndigits | 1-255 |
| PARAM_VALUE | 2 | point->x | 4096-ptr_max |
| PARAM_VALUE | 2 | point->y | 4096-ptr_max |
| PARAM_VALUE | 4 | curve | 4096-ptr_max |
| BUF_SIZE | 1 | result | 24 |
| BUF_SIZE | 2 | point | 24 |
| BUF_SIZE | 3 | scalar | 48 |
| CAPPED_DATA | 1 | result->ndigits | 1 |
| CAPPED_DATA | 2 | point->ndigits | 1 |
| CAPPED_DATA | 4 | curve->g.ndigits | 1 |
| DATA_SOURCE | 1 | result | r ecc_alloc_point |
| DATA_SOURCE | 2 | point | r ecc_alloc_point |
| PARAM_COMPARE | 4 | curve->g.ndigits | == $2->ndigits |
drivers/crypto/intel/keembay/keembay-ocs-ecc.c kmb_ocs_ecc_is_pubkey_valid_full() -> kmb_ecc_point_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ecc_dev->base_reg | 4096-ptr_max |
| PARAM_VALUE | 0 | ecc_dev->irq_done.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ecc_dev->irq_done.wait.task_list.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 1 | result | 4096-ptr_max |
| PARAM_VALUE | 1 | result->ndigits | 1-255 |
| PARAM_VALUE | 1 | result->x | 4096-ptr_max |
| PARAM_VALUE | 1 | result->y | 4096-ptr_max |
| PARAM_VALUE | 2 | point | 4096-ptr_max |
| PARAM_VALUE | 2 | point->ndigits | 1-255 |
| PARAM_VALUE | 2 | point->x | 4096-ptr_max |
| PARAM_VALUE | 2 | point->y | 4096-ptr_max |
| PARAM_VALUE | 2 | *point->x | 0-255 |
| PARAM_VALUE | 2 | *point->y | 0-255 |
| PARAM_VALUE | 4 | curve | 4096-ptr_max |
| PARAM_VALUE | 4 | curve->a | 4096-ptr_max |
| PARAM_VALUE | 4 | curve->p | 4096-ptr_max |
| BUF_SIZE | 1 | result | 24 |
| BUF_SIZE | 2 | point | 24 |
| CAPPED_DATA | 1 | result->ndigits | 1 |
| CAPPED_DATA | 2 | point->ndigits | 1 |
| CAPPED_DATA | 4 | curve->g.ndigits | 1 |
| DATA_SOURCE | 0 | ecc_dev | $0 |
| DATA_SOURCE | 1 | result | r ecc_alloc_point |
| DATA_SOURCE | 2 | point | $2 |
| DATA_SOURCE | 4 | curve | $1 |
| PARAM_COMPARE | 4 | curve->g.ndigits | == $2->ndigits |
| HOST_DATA | 2 | *point->x | 0-255 |
| HOST_DATA | 2 | *point->y | 0-255 |