Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/crypto/inside-secure/eip93/eip93-aead.c eip93_aead_setkey() -> verify_aead_des_key()

Type Parameter Key Value
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 2 keylen 0-2147483639
BUF_SIZE 0 tfm (-1),1-s32max
BUF_SIZE 0 tfm (-1),1-s32max
DATA_SOURCE 0 tfm $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tfm->authsize 8[c]
UNITS 1 key unit_byte
UNITS 2 keylen unit_byte
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &sdata->sec_mtx
HALF_LOCKED2 sk

drivers/crypto/inside-secure/safexcel_cipher.c safexcel_aead_setkey() -> verify_aead_des_key()

Type Parameter Key Value
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 2 keylen 0-2147483639
BUF_SIZE 0 tfm (-1),1-s32max
BUF_SIZE 0 tfm (-1),1-s32max
DATA_SOURCE 0 tfm $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 tfm->authsize 8[c]
UNITS 1 key unit_byte
UNITS 2 keylen unit_byte
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &sdata->sec_mtx
HALF_LOCKED2 sk