Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/misc/vmw_vmci/vmci_context.c vmci_context_get_priv_flags() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cid | $0 |
| NOSPEC | 0 | cid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | cid | 1-u32max[c] |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_add_notification() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cid | $0 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_dbell_create() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cid | 0-4294967294 |
| DATA_SOURCE | 0 | cid | $0 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_dbell_destroy() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cid | 0-4294967294 |
| DATA_SOURCE | 0 | cid | $0 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_enqueue_datagram() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cid | 1,3-4294967294 |
| CAPPED_DATA | 0 | cid | 1 |
| DATA_SOURCE | 0 | cid | $0 |
| NOSPEC | 0 | cid | |
| NOSPEC | 0 | cid | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | cid | 1,3-4294967294[c] |
| HALF_LOCKED2 | global &qp_broker_list.mutex |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_get_chkpt_state() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cid | $0 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_notify_dbell() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_rcv_notifications_get() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cid | $0 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_rcv_notifications_release() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cid | 0-4294967294 |
| CAPPED_DATA | 0 | cid | 1 |
| DATA_SOURCE | 0 | cid | $0 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_remove_notification() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cid | $0 |
drivers/misc/vmw_vmci/vmci_context.c vmci_is_context_owner() -> vmci_ctx_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | cid | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | cid | 1-s32max |
| USER_DATA | 0 | cid | 1-u32max[u] |
| 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_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cid | 2 |
| 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_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cid | 0-1,3-u32max |
| 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_get()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cid | 2 |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | sk |