Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/tegra/tegra-se-hash.c tegra_hmac_setkey() -> tegra_hmac_fallback_setkey()

Type Parameter Key Value
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 1 key (-1)-s32max
DATA_SOURCE 0 ctx r crypto_ahash_ctx
DATA_SOURCE 1 key $1
DATA_SOURCE 2 keylen $2
PARAM_COMPARE 1 key == $2
NOSPEC 2 keylen
NOSPEC 2 keylen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *key 0-255
USER_DATA 2 keylen 0-s32max[c]
BYTE_COUNT 1 ==key2 8050
USER_PTR 1 key
HALF_LOCKED2 sk

drivers/crypto/tegra/tegra-se-hash.c tegra_hmac_setkey() -> tegra_hmac_fallback_setkey()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->key_id 0-u16max
PARAM_VALUE 0 ctx->se->stream_id 0-u16max
PARAM_VALUE 2 keylen 16,24,32
BUF_SIZE 1 key (-1)-s32max
BUF_SIZE 1 key (-1)-s32max
DATA_SOURCE 0 ctx r crypto_ahash_ctx
DATA_SOURCE 1 key $1
DATA_SOURCE 2 keylen $2
PARAM_COMPARE 1 key == $2
NOSPEC 2 keylen
NOSPEC 2 keylen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 *key 0-255
USER_DATA 2 keylen 16,24,32[c]
BYTE_COUNT 1 ==key2 8050
USER_PTR 1 key
HALF_LOCKED2 sk