Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

arch/x86/crypto/aesni-intel_glue.c gcm_crypt() -> aes_gcm_update()

Type Parameter Key Value
PARAM_VALUE 0 key 0,16-u64max
PARAM_VALUE 1 le_ctr 4096-ptr_max
PARAM_VALUE 5 datalen s32min-(-16),0,16-s32max
PARAM_VALUE 6 flags 0-11,16-19
BUF_SIZE 1 le_ctr 16
BUF_SIZE 2 ghash_acc 16
CAPPED_DATA 5 datalen 1
DATA_SOURCE 0 key r aes_gcm_key_get
DATA_SOURCE 6 flags $1
BIT_INFO 5 datalen 0x0,0xfffffff0
NOSPEC 5 datalen
NOSPEC 5 datalen
HARD_MAX 6 flags 19
MEM_ZERO 2 ghash_acc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 5 datalen 16-2147483632[c]
UNITS 5 datalen unit_byte

arch/x86/crypto/aesni-intel_glue.c gcm_crypt() -> aes_gcm_update()

Type Parameter Key Value
PARAM_VALUE 0 key 0,16-u64max
PARAM_VALUE 1 le_ctr 4096-ptr_max
PARAM_VALUE 6 flags 0-11,16-19
BUF_SIZE 1 le_ctr 16
BUF_SIZE 2 ghash_acc 16
DATA_SOURCE 0 key r aes_gcm_key_get
DATA_SOURCE 6 flags $1
NOSPEC 5 datalen
NOSPEC 5 datalen
HARD_MAX 6 flags 19
MEM_ZERO 2 ghash_acc
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 5 datalen 2-s32max[c]
UNITS 5 datalen unit_byte