Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_ctx_add_notify() -> vmci_ctx_get_id()

Type Parameter Key Value

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_ctx_get_cpt_state() -> vmci_ctx_get_id()

Type Parameter Key Value

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_ctx_remove_notify() -> vmci_ctx_get_id()

Type Parameter Key Value

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_ctx_set_cpt_state() -> vmci_ctx_get_id()

Type Parameter Key Value

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_init_context() -> vmci_ctx_get_id()

Type Parameter Key Value
PARAM_VALUE 0 context 4096-ptr_max
PARAM_VALUE 0 context->cid 0-4294967294
BUF_SIZE 0 context 304
DATA_SOURCE 0 context r vmci_ctx_create
USER_DATA 0 context->cid 0-4294967294
USER_DATA 0 context->priv_flags 0
LOCK2 &vmci_host_dev->lock
TYPE_LOCK (struct vmci_host_dev)->lock

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_notify_resource() -> vmci_ctx_get_id()

Type Parameter Key Value

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_recv_notifications() -> vmci_ctx_get_id()

Type Parameter Key Value

drivers/misc/vmw_vmci/vmci_host.c vmci_host_do_send_datagram() -> vmci_ctx_get_id()

Type Parameter Key Value

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_broker_alloc() -> vmci_ctx_get_id()

Type Parameter Key Value
DATA_SOURCE 0 context $7
HALF_LOCKED2 &pool->lock

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

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

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_broker_create() -> vmci_ctx_get_id()

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

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_broker_create() -> vmci_ctx_get_id()

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

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

Type Parameter Key Value
DATA_SOURCE 0 context $1
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
DATA_SOURCE 0 context $1

drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qp_broker_set_page_store() -> vmci_ctx_get_id()

Type Parameter Key Value
DATA_SOURCE 0 context $3

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

Type Parameter Key Value
DATA_SOURCE 0 context $1