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_queue()

Type Parameter Key Value
PARAM_VALUE 1 flags 0-3
DATA_SOURCE 0 size $2
DATA_SOURCE 1 flags $6
UNITS 0 size unit_byte
LOCK2 &pool->lock
LOCK2 global &qp_guest_endpoints.mutex
HALF_LOCKED2 listener
HALF_LOCKED2 pending
HALF_LOCKED2 sk
TYPE_LOCK (struct qp_list)->mutex

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

Type Parameter Key Value
PARAM_VALUE 1 flags 0-3
DATA_SOURCE 0 size $4
DATA_SOURCE 1 flags $6
UNITS 0 size unit_byte
LOCK2 &pool->lock
LOCK2 global &qp_guest_endpoints.mutex
HALF_LOCKED2 listener
HALF_LOCKED2 pending
HALF_LOCKED2 sk
TYPE_LOCK (struct qp_list)->mutex