Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/hisilicon/sec2/sec_crypto.c sec_aead_bd_fill() -> sec_auth_bd_fill_ex()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 req 4096-ptr_max
PARAM_VALUE 3 sec_sqe 4096-ptr_max
BUF_SIZE 0 ctx 40
BUF_SIZE 2 req->aead_req.aead_req (-1)-s32max
BUF_SIZE 2 req->base 48
BUF_SIZE 2 req->c_req.sk_req (-1)-s32max
BUF_SIZE 3 sec_sqe 128
DATA_SOURCE 2 req $1
PARAM_COMPARE 2 &req->sec_sqe == $3
NOSPEC 2 req->aead_req.aead_req->cryptlen
NOSPEC 2 req->c_req.c_len
NOSPEC 2 req->c_req.sk_req->cryptlen
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 2 req->aead_req.aead_req->cryptlen 0-u32max
USER_DATA 2 req->c_req.c_len 0-u32max
USER_DATA 2 req->c_req.sk_req->cryptlen 1-u32max
USER_DATA 2 req->sec_sqe.type2.clen_ivhlen 0-u32max[u]
USER_DATA 2 *req->aead_req->a_ivin 0-255
USER_DATA 2 *req->c_req->c_ivin 0-255
USER_PTR 2 req->aead_req.aead_req->iv
USER_PTR 2 req->c_req.sk_req->iv