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

Type Parameter Key Value
PARAM_VALUE 0 prod_q 4096-ptr_max
PARAM_VALUE 2 cons_q 4096-ptr_max
PARAM_VALUE 4 ppn_set 4096-ptr_max
BUF_SIZE 0 prod_q 216-s32max
BUF_SIZE 0 prod_q 216-s32max
BUF_SIZE 2 cons_q 216-s32max
BUF_SIZE 2 cons_q 216-s32max
DATA_SOURCE 0 prod_q r qp_alloc_queue
DATA_SOURCE 2 cons_q r qp_alloc_queue
LOCK2 &pool->lock
LOCK2 global &qp_guest_endpoints.mutex
HALF_LOCKED2 listener
HALF_LOCKED2 pending
HALF_LOCKED2 sk
TYPE_LOCK (struct qp_list)->mutex