Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/s5p-sss.c s5p_tasklet_cb() -> s5p_aes_crypt_start()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->queue.list.next->next->prev 4096-ptr_max
PARAM_VALUE 0 dev->queue.list.next->prev->next 4096-ptr_max
PARAM_VALUE 0 dev->req 4096-ptr_max
DATA_SOURCE 0 dev $0
PARAM_COMPARE 0 dev->ctx == $0->req->base.tfm->__crt_ctx
NOCHECK_CALL