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

Type Parameter Key Value
PARAM_VALUE 0 q 0,4096-ptr_max
BUF_SIZE 0 q (-1),216-s32max
BUF_SIZE 0 q (-1),216-s32max
DATA_SOURCE 0 q r qp_alloc_queue
DATA_SOURCE 1 size $2
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &pool->lock
HALF_LOCKED2 listener
HALF_LOCKED2 pending
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 q 0,4096-ptr_max
BUF_SIZE 0 q (-1)-0,216-s32max
BUF_SIZE 0 q (-1)-0,216-s32max
DATA_SOURCE 1 size $4
NOCHECK_CALL
UNITS 1 size unit_byte
LOCK2 &pool->lock
HALF_LOCKED2 listener
HALF_LOCKED2 pending
HALF_LOCKED2 sk

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

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
BUF_SIZE 0 q 216-18446744073709551608
CAPPED_DATA 1 size 1
DATA_SOURCE 0 q r vmalloc_noprof
NOCHECK_CALL
UNITS 1 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_guest_endpoint_destroy() -> qp_free_queue()

Type Parameter Key Value
PARAM_VALUE 0 q 4096-ptr_max
PARAM_VALUE 0 q->kernel_if 4096-ptr_max
PARAM_VALUE 0 q->kernel_if->mutex 0
BUF_SIZE 0 q (-1),216-s32max
BUF_SIZE 0 q (-1),216-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &qp_guest_endpoints.mutex

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_guest_endpoint_destroy() -> qp_free_queue()

Type Parameter Key Value
PARAM_VALUE 0 q->kernel_if->mutex 0
BUF_SIZE 0 q (-1),216-s32max
BUF_SIZE 0 q (-1),216-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 size unit_byte
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &qp_guest_endpoints.mutex