Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/sa2ul.c sa_run() -> sa_update_cmdl()

Type Parameter Key Value
PARAM_VALUE 0 req 2758281744112971776,4723049941528248320,8151350698993041408
PARAM_VALUE 0 req->auth_iv 0
PARAM_VALUE 0 req->auth_offset 0
PARAM_VALUE 0 req->auth_size 0-239,256-u16max
PARAM_VALUE 0 req->base 4096-ptr_max
PARAM_VALUE 0 req->callback 3095698298081935360,5044055959266045952,8973322762994651136
PARAM_VALUE 0 req->cmdl 0
PARAM_VALUE 0 req->dev 0
PARAM_VALUE 0 req->mdata_size 28,44,52
PARAM_VALUE 0 req->size 0-239,256-u16max
PARAM_VALUE 0 req->type 3,5,15
PARAM_VALUE 1 cmdl 7466212346562256896
PARAM_VALUE 2 upd_info 4096-ptr_max
BUF_SIZE 1 cmdl 48
DATA_SOURCE 0 req $0
NOSPEC 0 req->auth_size
NOSPEC 0 req->enc_size
NOSPEC 0 req->size
HARD_MAX 0 req->mdata_size 52
HARD_MAX 0 req->type 15
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 req->auth_size 1-239,256-4350[c]
HOST_DATA 0 req->size 1-239,256-4350[c]
USER_DATA 0 req->auth_size 1-239,256-u16max
USER_DATA 0 req->enc_size 0-u16max
USER_DATA 0 req->size 1-239,256-u16max
USER_PTR 0 req->enc_iv