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_emit()

Type Parameter Key Value
PARAM_VALUE 0 state 7226007542335557632
PARAM_VALUE 2 dst 3998462664141156352
DATA_SOURCE 2 dst $1
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 nhpoly1305_final() -> poly1305_core_emit()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 2 dst 1639133678248566784
DATA_SOURCE 2 dst $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex