Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/marvell/cesa/cipher.c mv_cesa_skcipher_dma_req_init() -> mv_cesa_skcipher_req_iter_next_op()

Type Parameter Key Value
PARAM_VALUE 0 iter 7991623507781144576
PARAM_VALUE 0 iter->base.len 1-u32max
NOSPEC 0 iter->base.op_len
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 iter->base.op_len 1-s32max[c]
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 tfm_mutex