Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/ahash.c crypto_ahash_update() -> ahash_update_finish()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->sg_head->dma_flags 0-4294967295
PARAM_VALUE 0 req->sg_head->dma_length 0-4294967295
PARAM_VALUE 0 req->sg_head->length 0-4294967295
PARAM_VALUE 0 req->sg_head->offset 0-4294967295
PARAM_VALUE 1 err s32min-(-116),(-114)-(-17),(-15)-s32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req->src (-1),64
DATA_SOURCE 0 req $0
DATA_SOURCE 1 err r ahash_do_req_chain
FUZZY_MAX 0 req->sg_head->dma_flags 0
FUZZY_MAX 0 req->sg_head->dma_length 0
NOSPEC 0 req->nbytes
NOSPEC 0 *req->result
NOSPEC 1 err
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->nbytes 0-4860,4294963202-u32max[c]
HOST_DATA 0 req->src->length 0-2147483646[c]
HOST_DATA 1 err 0[c]
USER_DATA 0 req->nbytes 0-u32max
USER_DATA 0 req->src->length 1-u32max[c]
USER_DATA 0 req->src->offset 0-2147551739[c]
USER_DATA 0 *req->__ctx->ahash_fbk_req.result 0-255
USER_DATA 0 *req->result 0-255
USER_DATA 0 *req->svirt 0-255
USER_DATA 1 err s32min-(-116),(-114)-(-17),(-15)-s32max
UNITS 0 req unit_byte
USER_PTR 0 req->result
USER_PTR 0 req->svirt
HALF_LOCKED2 sk

crypto/ahash.c ahash_op_done() -> ahash_op_done param 2()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 1 err s32min-(-116),(-114)-s32max
BUF_SIZE 0 req 1-s32max
BUF_SIZE 0 req 1-s32max
DATA_SOURCE 1 err $1
BIT_INFO 0 req->base.flags 0x0,0xfffffdff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 err
UNITS 0 req unit_byte
HALF_LOCKED2 &backlog->lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 bh