Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

crypto/ecdsa.c _ecdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 left 72
BUF_SIZE 0 left 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 left $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecdsa.c _ecdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 left 72
BUF_SIZE 0 left 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 left $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecdsa.c _ecdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 left 8-s32max
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecdsa.c _ecdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 left 8-s32max
BUF_SIZE 1 right 72
BUF_SIZE 1 right 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 right $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

drivers/crypto/intel/keembay/keembay-ocs-ecc.c kmb_ecc_is_key_valid() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 1 right 1-u64max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 left 48
BUF_SIZE 1 right 32,48,66
BUF_SIZE 1 right 32,48,66
DATA_SOURCE 1 right $1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

drivers/crypto/intel/keembay/keembay-ocs-ecc.c kmb_ecc_is_key_valid() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 8524262409374674944
PARAM_VALUE 1 right 1-u64max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 left 48
BUF_SIZE 1 right 32,48,66
BUF_SIZE 1 right 32,48,66
DATA_SOURCE 1 right $1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

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

Type Parameter Key Value
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 1 right 8-s32max
CAPPED_DATA 2 ndigits 1
HOST_DATA 1 *right 0-255
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 1 right 8-4000000
CAPPED_DATA 2 ndigits 1
HOST_DATA 1 *right 0-255
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 0 *left 0-255
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 1 *right 0-255
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 left 48
BUF_SIZE 1 right 48
CAPPED_DATA 2 ndigits 1
HOST_DATA 0 *left 0-255
HOST_DATA 1 *right 0-255
UNITS 2 ndigits unit_array_size

crypto/ecrdsa.c ecrdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 6077665736088051712
PARAM_VALUE 2 ndigits 1-536870911
BUF_SIZE 0 left 64
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecrdsa.c ecrdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 6078718098688016384
PARAM_VALUE 2 ndigits 1-536870911
BUF_SIZE 0 left 64
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecrdsa.c ecrdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 8157645667639644160
PARAM_VALUE 2 ndigits 1-536870911
BUF_SIZE 0 left 64
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecrdsa.c ecrdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 1-536870911
BUF_SIZE 0 left 8-s32max
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecrdsa.c ecrdsa_verify() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 1 right 6077665736088051712
PARAM_VALUE 2 ndigits 1-536870911
BUF_SIZE 0 left 8-s32max
BUF_SIZE 1 right 64
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c __ecc_is_key_valid() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 1 right 1-u64max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 left 72
BUF_SIZE 1 right 72
BUF_SIZE 1 right 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 right $1
DATA_SOURCE 2 ndigits $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

crypto/ecc.c __ecc_is_key_valid() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 7508485005053186048
PARAM_VALUE 1 right 1-u64max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 left 72
BUF_SIZE 1 right 72
BUF_SIZE 1 right 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 right $1
DATA_SOURCE 2 ndigits $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

crypto/ecc.c ecc_is_pubkey_valid_partial() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 1 right 8-s32max
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c ecc_is_pubkey_valid_partial() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 1 right 8-4000000
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c ecc_is_pubkey_valid_partial() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4654263494991921152
PARAM_VALUE 1 right 4426942927358177280
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 left 72
BUF_SIZE 1 right 72
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_barrett() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 6478384016409944064
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 left 144
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 right $2
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_barrett() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 6478384016409944064
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 left 144
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 right $2
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_fast_192() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 3
BUF_SIZE 1 right 8-s32max
BUF_SIZE 1 right 8-s32max
DATA_SOURCE 0 left $2
DATA_SOURCE 1 right $0
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_fast_192() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 3
BUF_SIZE 1 right 8-s32max
BUF_SIZE 1 right 8-s32max
DATA_SOURCE 0 left $2
DATA_SOURCE 1 right $0
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_fast_256() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 4
BUF_SIZE 1 right 8-s32max
BUF_SIZE 1 right 8-s32max
DATA_SOURCE 0 left $2
DATA_SOURCE 1 right $0
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_fast_256() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 4
BUF_SIZE 1 right 8-s32max
BUF_SIZE 1 right 8-s32max
DATA_SOURCE 0 left $2
DATA_SOURCE 1 right $0
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_fast_384() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 6
BUF_SIZE 1 right 8-s32max
BUF_SIZE 1 right 8-s32max
DATA_SOURCE 0 left $2
DATA_SOURCE 1 right $0
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_fast_384() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 4096-ptr_max
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 6
BUF_SIZE 1 right 8-s32max
BUF_SIZE 1 right 8-s32max
DATA_SOURCE 0 left $2
DATA_SOURCE 1 right $0
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_special() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 8499600104465281024
PARAM_VALUE 1 right 202133725228777472
PARAM_VALUE 1 *right 0
PARAM_VALUE 2 ndigits 0-510
BUF_SIZE 0 left 144
BUF_SIZE 1 right 144
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_special() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 8499600104465281024
PARAM_VALUE 1 right 202133725228777472
PARAM_VALUE 1 *right 0
PARAM_VALUE 2 ndigits 0-510
BUF_SIZE 0 left 144
BUF_SIZE 1 right 144
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_special2() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 5594039353691275264
PARAM_VALUE 0 *left 0
PARAM_VALUE 1 right 7317474417252052992
PARAM_VALUE 1 *right 0
PARAM_VALUE 2 ndigits 0-510
BUF_SIZE 0 left 144
BUF_SIZE 1 right 144
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mmod_special2() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 5594039353691275264
PARAM_VALUE 0 *left 0
PARAM_VALUE 1 right 7317474417252052992
PARAM_VALUE 1 *right 0
PARAM_VALUE 2 ndigits 0-510
BUF_SIZE 0 left 144
BUF_SIZE 1 right 144
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c vli_mod_add() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 1 right 4096-ptr_max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 left 8-s32max
BUF_SIZE 0 left 8-s32max
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 left $0
DATA_SOURCE 1 right $3
DATA_SOURCE 2 ndigits $4
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 2181897681604382720
PARAM_VALUE 1 right 4561837590826237952
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 left 72
BUF_SIZE 1 right 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 7393416940008321024
PARAM_VALUE 1 right 5637703361080786944
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 left 72
BUF_SIZE 1 right 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 5637703361080786944
PARAM_VALUE 1 right 7393416940008321024
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 left 72
BUF_SIZE 1 right 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mod_inv() -> vli_cmp()

Type Parameter Key Value
PARAM_VALUE 0 left 2181897681604382720
PARAM_VALUE 1 right 4561837590826237952
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 left 72
BUF_SIZE 1 right 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
UNITS 2 ndigits unit_array_size