Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_unlock() -> qp_release_queue_mutex()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->kernel_if 4096-ptr_max
PARAM_VALUE 0 queue->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->task->blocked_on 0
PARAM_VALUE 0 queue->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.owner_cpu u32max
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_release_queue_mutex()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->kernel_if 4096-ptr_max
PARAM_VALUE 0 queue->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->task->blocked_on 0
PARAM_VALUE 0 queue->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.owner_cpu u32max
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_release_queue_mutex()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->kernel_if 4096-ptr_max
PARAM_VALUE 0 queue->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->task->blocked_on 0
PARAM_VALUE 0 queue->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.owner_cpu u32max
PARAM_VALUE 0 queue->kernel_if->num_pages 0-s32max,18446744071562067968-u64max
PARAM_VALUE 0 queue->saved_header 0
CAPPED_DATA 0 queue->kernel_if->num_pages 1
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_release_queue_mutex()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->kernel_if 4096-ptr_max
PARAM_VALUE 0 queue->kernel_if->mutex->dep_map->name 0-255
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 queue->kernel_if->mutex->first_waiter->task->blocked_on 0
PARAM_VALUE 0 queue->kernel_if->mutex->osq.tail.counter 0-s32max
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.dep_map->name 0-255
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.owner (-1)
PARAM_VALUE 0 queue->kernel_if->mutex->wait_lock.owner_cpu u32max
PARAM_VALUE 0 queue->q_header 0
MEM_ZERO 0 queue->kernel_if->u.h.header_page
NOCHECK_CALL
LOCK2 global &qp_broker_list.mutex
TYPE_LOCK (struct qp_list)->mutex