Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_pci_modern.c vp_modern_admin_cmd_exec() -> virtqueue_exec_admin_cmd()

Type Parameter Key Value
PARAM_VALUE 0 admin_vq 4096-ptr_max
PARAM_VALUE 1 opcode 0-10,13-17
PARAM_VALUE 2 sgs 4096-ptr_max
PARAM_VALUE 3 out_num 1-2
PARAM_VALUE 4 in_num 1-2
PARAM_VALUE 5 cmd 4096-ptr_max
PARAM_VALUE 5 cmd->completion.done 0-4294967293,u32max
PARAM_VALUE 5 cmd->completion.wait.lock.owner 0,(-1)
PARAM_VALUE 5 cmd->completion.wait.lock.owner_cpu 0,u32max
PARAM_VALUE 5 cmd->completion.wait.lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 5 cmd->completion.wait.task_list.next 0,4096-ptr_max
PARAM_VALUE 5 cmd->group_type 0-1
PARAM_VALUE 5 cmd->opcode 0-10,13-17
PARAM_VALUE 5 cmd->ret 0
BUF_SIZE 2 sgs 32
DATA_SOURCE 5 cmd $1
FUZZY_MAX 3 out_num 2
FUZZY_MAX 4 in_num 2
HARD_MAX 3 out_num 2
HARD_MAX 4 in_num 2
HARD_MAX 5 cmd->completion.wait.lock.owner_cpu u32max
HARD_MAX 5 cmd->group_type 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &migf->lock
HALF_LOCKED2 &migf->virtvdev->state_mutex
HALF_LOCKED2 &virtvdev->state_mutex
HALF_LOCKED2 _T->lock