Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/ahash.c ahash_request_free() -> ahash_req_on_stack()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req 0,152-s32max
BUF_SIZE 0 req 0,152-s32max
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->nbytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 req->nbytes 1-s32max[c]
USER_DATA 0 *req->result 0-255
USER_DATA 0 *req->svirt 0-255
USER_PTR 0 req->result

crypto/ahash.c crypto_ahash_digest() -> ahash_req_on_stack()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req->src (-1),64
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->nbytes
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->nbytes 0-4605,4294963202-u32max[c]
HOST_DATA 0 req->src->length 0-2147483646[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->result 0-255
USER_DATA 0 *req->svirt 0-255
UNITS 0 req unit_byte
USER_PTR 0 req->result
USER_PTR 0 req->svirt
HALF_LOCKED2 sk

crypto/ahash.c crypto_ahash_finup() -> ahash_req_on_stack()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req->src (-1),64
DATA_SOURCE 0 req $0
NOSPEC 0 req->nbytes
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->nbytes 0-4605,4294962946-u32max[c]
HOST_DATA 0 req->src->length 0-2147483646[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->result 0-255
USER_DATA 0 *req->svirt 0-255
UNITS 0 req unit_byte
USER_PTR 0 req->result
USER_PTR 0 req->svirt
HALF_LOCKED2 sk

crypto/ahash.c crypto_ahash_init() -> ahash_req_on_stack()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req->src (-1),64
CAPPED_DATA 0 req 1
DATA_SOURCE 0 req $0
NOSPEC 0 req->nbytes
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->nbytes 0-4350,4294963202-u32max[c]
HOST_DATA 0 req->src->length 0-2147483646[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->result 0-255
USER_DATA 0 *req->svirt 0-255
USER_PTR 0 req->result
USER_PTR 0 req->svirt
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req->src (-1),64
DATA_SOURCE 0 req $0
NOSPEC 0 req->nbytes
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 req->nbytes 0-4605,4294963202-u32max[c]
HOST_DATA 0 req->src->length 0-2147483646[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->result 0-255
USER_DATA 0 *req->svirt 0-255
UNITS 0 req unit_byte
USER_PTR 0 req->result
USER_PTR 0 req->svirt
HALF_LOCKED2 sk