Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_alloc_guest_work() -> qp_alloc_hypercall()

Type Parameter Key Value
PARAM_VALUE 0 entry 4096-ptr_max
PARAM_VALUE 0 entry->consume_q 4096-ptr_max
PARAM_VALUE 0 entry->ppn_set.consume_ppns 4096-ptr_max
PARAM_VALUE 0 entry->ppn_set.initialized 1
PARAM_VALUE 0 entry->ppn_set.num_consume_pages 1-u64max
PARAM_VALUE 0 entry->ppn_set.num_produce_pages 1-u64max
PARAM_VALUE 0 entry->ppn_set.produce_ppns 4096-ptr_max
PARAM_VALUE 0 entry->produce_q 4096-ptr_max
PARAM_VALUE 0 entry->qp.consume_size 0-18446744073709547519
PARAM_VALUE 0 entry->qp.flags 0-3
PARAM_VALUE 0 entry->qp.list_item.next 4096-ptr_max
PARAM_VALUE 0 entry->qp.list_item.next->next 4096-ptr_max
PARAM_VALUE 0 entry->qp.list_item.prev 4096-ptr_max
PARAM_VALUE 0 entry->qp.list_item.prev->next 4096-ptr_max
PARAM_VALUE 0 entry->qp.list_item.prev->prev 4096-ptr_max
PARAM_VALUE 0 entry->qp.produce_size 0-18446744073709547519
PARAM_VALUE 0 entry->qp.ref_count 0
PARAM_VALUE 0 entry->resource.done.done 0
PARAM_VALUE 0 entry->resource.done.wait.lock.magic 3735899821
PARAM_VALUE 0 entry->resource.done.wait.lock.owner (-1)
PARAM_VALUE 0 entry->resource.done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 entry->resource.done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 entry->resource.done.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 0 entry->resource.done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 entry->resource.done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 entry->resource.done.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 0 entry->resource.handle.resource 0-4294967294
PARAM_VALUE 0 entry->resource.kref.refcount.refs.counter 1
PARAM_VALUE 0 entry->resource.node.pprev 4096-ptr_max
PARAM_VALUE 0 entry->resource.type 5
BUF_SIZE 0 entry 256
BUF_SIZE 0 entry->consume_q 216-s32max
BUF_SIZE 0 entry->produce_q 216-s32max
CAPPED_DATA 0 entry 1
DATA_SOURCE 0 entry r qp_guest_endpoint_create
BIT_INFO 0 entry->qp.flags 0x0,0x1
NO_OVERFLOW_SIMPLE 0 entry->ppn_set.num_consume_pages
NO_OVERFLOW_SIMPLE 0 entry->ppn_set.num_produce_pages
LOCK2 &pool->lock
LOCK2 global &qp_guest_endpoints.mutex
HALF_LOCKED2 listener
HALF_LOCKED2 pending
HALF_LOCKED2 sk
TYPE_LOCK (struct qp_list)->mutex