Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_detatch_guest_work() -> qp_detatch_hypercall()

Type Parameter Key Value
DATA_SOURCE 0 handle $0
LOCK2 global &qp_guest_endpoints.mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sk
TYPE_LOCK (struct qp_list)->mutex

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qp_guest_endpoints_exit() -> qp_detatch_hypercall()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 global &qp_guest_endpoints.mutex
HALF_LOCKED2 &dev->mutex
TYPE_LOCK (struct qp_list)->mutex