Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_lock() -> qp_acquire_queue_mutex()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &qp_broker_list.mutex
HALF_LOCKED2 sk

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qp_broker_detach() -> qp_acquire_queue_mutex()

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

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qp_broker_map() -> qp_acquire_queue_mutex()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &qp_broker_list.mutex
TYPE_LOCK (struct qp_list)->mutex

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qp_broker_unmap() -> qp_acquire_queue_mutex()

Type Parameter Key Value
NOCHECK_CALL
LOCK2 global &qp_broker_list.mutex
TYPE_LOCK (struct qp_list)->mutex