Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/crypto/virtio/virtio_crypto_core.c virtcrypto_ctrlq_callback() -> virtio_crypto_ctrlq_callback()

Type Parameter Key Value
PARAM_VALUE 0 vc_ctrl_req 1-u64max
DATA_SOURCE 0 vc_ctrl_req r virtqueue_get_buf
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vc_ctrl_req->compl.done 0-u32max
HOST_DATA 0 vc_ctrl_req->compl.wait.lock.magic 0-u32max
HOST_DATA 0 vc_ctrl_req->compl.wait.lock.owner_cpu 0-u32max
HOST_DATA 0 vc_ctrl_req->compl.wait.lock.raw_lock.locked 0-255
HOST_DATA 0 vc_ctrl_req->compl.wait.lock.raw_lock.locked_pending 0-u16max
HOST_DATA 0 vc_ctrl_req->compl.wait.lock.raw_lock.pending 0-255
HOST_DATA 0 vc_ctrl_req->compl.wait.lock.raw_lock.tail 0-u16max
HOST_DATA 0 vc_ctrl_req->compl.wait.lock.raw_lock.val.counter s32min-s32max
HOST_DATA 0 vc_ctrl_req->ctrl.header.algo 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.header.flag 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.header.opcode 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.header.queue_id 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.aead_create_session.para.aad_len 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.aead_create_session.para.algo 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.aead_create_session.para.hash_result_len 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.aead_create_session.para.key_len 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.aead_create_session.para.op 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.aead_create_session.para.padding 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.akcipher_create_session.para.algo 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.akcipher_create_session.para.keylen 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.akcipher_create_session.para.keytype 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.destroy_session.session_id 0-u64max
HOST_DATA 0 vc_ctrl_req->ctrl.u.hash_create_session.para.algo 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.hash_create_session.para.hash_result_len 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.mac_create_session.para.algo 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.mac_create_session.para.auth_key_len 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.mac_create_session.para.hash_result_len 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.mac_create_session.para.padding 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.op_type 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.padding 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.u.chain.para.aad_len 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.u.chain.para.alg_chain_order 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.u.chain.para.hash_mode 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.u.chain.para.padding 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.u.cipher.para.algo 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.u.cipher.para.keylen 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.u.cipher.para.op 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl.u.sym_create_session.u.cipher.para.padding 0-u32max
HOST_DATA 0 vc_ctrl_req->ctrl_status.status 0-255
HOST_DATA 0 vc_ctrl_req->input.padding 0-u32max
HOST_DATA 0 vc_ctrl_req->input.session_id 0-u64max
HOST_DATA 0 vc_ctrl_req->input.status 0-u32max
HALF_LOCKED2 &desc->request_mutex
HALF_LOCKED2 &vp_dev->lock
HALF_LOCKED2 _T->lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq