Defined in 1 files as a prototype:

Defined in 2 files as a function:

Referenced in 4 files:

Smatch caller information:

crypto/adiantum.c adiantum_hash_header() -> poly1305_core_blocks()

Type Parameter Key Value
PARAM_VALUE 0 state 7226007542335557632
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 2 src 3262175138914750464
PARAM_VALUE 3 nblocks 1
PARAM_VALUE 4 hibit 1
BUF_SIZE 2 src 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

crypto/adiantum.c adiantum_hash_header() -> poly1305_core_blocks()

Type Parameter Key Value
PARAM_VALUE 0 state 7226007542335557632
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 3 nblocks 2
PARAM_VALUE 4 hibit 1
BUF_SIZE 2 src s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 src unit_byte
USER_PTR 2 src
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

crypto/adiantum.c process_nh_hash_value() -> poly1305_core_blocks()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 1 key 4096-ptr_max
PARAM_VALUE 3 nblocks 2
PARAM_VALUE 4 hibit 1
BUF_SIZE 2 src 32
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex