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_shared_secret() -> kmb_ocs_ecc_is_pubkey_valid_partial()

Type Parameter Key Value
PARAM_VALUE 1 curve 4096-ptr_max
PARAM_VALUE 2 pk 4096-ptr_max
PARAM_VALUE 2 pk->x 4096-ptr_max
PARAM_VALUE 2 pk->y 4096-ptr_max
BUF_SIZE 2 pk 24
CAPPED_DATA 1 curve->g.ndigits 1
DATA_SOURCE 2 pk r ecc_alloc_point

drivers/crypto/intel/keembay/keembay-ocs-ecc.c kmb_ocs_ecc_is_pubkey_valid_full() -> kmb_ocs_ecc_is_pubkey_valid_partial()

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 curve 4096-ptr_max
PARAM_VALUE 1 curve->a 4096-ptr_max
PARAM_VALUE 1 curve->p 4096-ptr_max
PARAM_VALUE 2 pk 4096-ptr_max
PARAM_VALUE 2 pk->x 4096-ptr_max
PARAM_VALUE 2 pk->y 4096-ptr_max
PARAM_VALUE 2 *pk->x 0-255
PARAM_VALUE 2 *pk->y 0-255
BUF_SIZE 2 pk 24
DATA_SOURCE 0 ecc_dev $0
DATA_SOURCE 1 curve $1
DATA_SOURCE 2 pk $2
HOST_DATA 2 *pk->x 0-255
HOST_DATA 2 *pk->y 0-255