vmci_ctx_put identifier - Linux source code next-20260811 - Bootlin Elixir Cross Referencer

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/misc/vmw_vmci/vmci_context.h, line 136 (as a prototype)

Defined in 1 files as a function:

drivers/misc/vmw_vmci/vmci_context.c, line 475 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_context.c vmci_context_get_priv_flags() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_add_notification() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_dbell_create() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->doorbell_array	4096-ptr_max
PARAM_VALUE	0	context->doorbell_array->capacity	0-4294967295
PARAM_VALUE	0	context->doorbell_array->size	0-4294967295
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
CAPPED_DATA	0	context->cid	1
CAPPED_DATA	0	context->doorbell_array	1
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_dbell_destroy() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->doorbell_array	4096-ptr_max
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	context->pending_doorbell_array	4096-ptr_max
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_destroy() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->list_item.next->prev	4096-ptr_max
BUF_SIZE	0	context	(-1),304
BUF_SIZE	0	context	(-1),304
DATA_SOURCE	0	context	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	context->cid	0-4294967294
USER_DATA	0	context->priv_flags	0
HALF_LOCKED2		&vmci_host_dev->lock

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_enqueue_datagram() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &qp_broker_list.mutex

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_enqueue_datagram() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &qp_broker_list.mutex

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_enqueue_datagram() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->datagram_queue.next	4096-ptr_max
PARAM_VALUE	0	context->datagram_queue.next->next	4096-ptr_max
PARAM_VALUE	0	context->datagram_queue.next->prev	4096-ptr_max
PARAM_VALUE	0	context->host_context.wait_queue.lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	context->notify	4096-ptr_max
PARAM_VALUE	0	*context->notify	1
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &qp_broker_list.mutex

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_get_chkpt_state() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_notify_dbell() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->doorbell_array	4096-ptr_max
PARAM_VALUE	0	context->doorbell_array->size	1-u32max
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	context->pending_doorbell_array	4096-ptr_max
PARAM_VALUE	0	context->pending_doorbell_array->capacity	0-4294967295
PARAM_VALUE	0	context->pending_doorbell_array->size	0-4294967295
CAPPED_DATA	0	context->cid	1
CAPPED_DATA	0	context->doorbell_array->size	1
CAPPED_DATA	0	context->pending_doorbell_array	1
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_rcv_notifications_get() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	context->pending_doorbell_array->capacity	6
PARAM_VALUE	0	context->pending_doorbell_array->max_capacity	4096
PARAM_VALUE	0	context->pending_doorbell_array->size	0
BUF_SIZE	0	context->pending_doorbell_array	(-1),64
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_rcv_notifications_release() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*context->notify	0
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_remove_notification() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->lock.rlock.dep_map->name	0-255
CAPPED_DATA	0	context->cid	1
CAPPED_DATA	0	&context->notifier_list	1
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL

drivers/misc/vmw_vmci/vmci_context.c vmci_is_context_owner() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
PARAM_VALUE	0	context->cred	0,4096-ptr_max
CAPPED_DATA	0	context->cid	1
DATA_SOURCE	0	context	r vmci_ctx_get
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		listener
HALF_LOCKED2		pending
HALF_LOCKED2		sk

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_alloc_host_work() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	0,4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL
LOCK2		&pool->lock
HALF_LOCKED2		listener
HALF_LOCKED2		pending
HALF_LOCKED2		sk

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_broker_attach() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	0,4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL
LOCK2		global &qp_broker_list.mutex
TYPE_LOCK		(struct qp_list)->mutex

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_detatch_host_work() -> vmci_ctx_put()

Type	Parameter	Key	Value
PARAM_VALUE	0	context	0,4096-ptr_max
PARAM_VALUE	0	context->cid	0-4294967294
DATA_SOURCE	0	context	r vmci_ctx_get
NOCHECK_CALL
HALF_LOCKED2		&pool->lock
HALF_LOCKED2		sk