Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/marvell/cesa/hash.c mv_cesa_ahmac_setkey() -> mv_cesa_ahmac_pad_init()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->base.tfm 4096-ptr_max
PARAM_VALUE 3 ipad 16,4096-ptr_max
PARAM_VALUE 4 opad 4096-ptr_max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 0 req 152-s32max
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 3 ipad 0-u32max
BUF_SIZE 3 ipad 0-u32max
DATA_SOURCE 0 req r ahash_request_alloc_noprof
DATA_SOURCE 1 key $1
DATA_SOURCE 2 keylen $2
DATA_SOURCE 3 ipad r _kmalloc_array_noprof
DATA_SOURCE 5 blocksize r crypto_tfm_alg_blocksize
PARAM_COMPARE 1 key == $2
PARAM_COMPARE 3 ipad <= $4
PARAM_COMPARE 3 ipad <= $4
PARAM_COMPARE 4 opad > $5
PARAM_COMPARE 4 opad >= $3
PARAM_COMPARE 5 blocksize < $4
NOSPEC 2 keylen
NOSPEC 2 keylen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *key 0-255
USER_DATA 2 keylen 0-s32max[c]
NO_OVERFLOW_SIMPLE 5 blocksize
BYTE_COUNT 1 ==key2 8050
BYTE_COUNT 3 ==ipad5 8050
USER_PTR 1 key
HALF_LOCKED2 sk