Defined in 1 files as a function:
Referenced in 5 files:
- drivers/misc/vmw_balloon.c, line 1348
- drivers/misc/vmw_vmci/vmci_context.c
- drivers/misc/vmw_vmci/vmci_doorbell.c
- drivers/misc/vmw_vmci/vmci_queue_pair.c
- net/vmw_vsock/vmci_transport.c
Smatch caller information:
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_dbell_create() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_dbell_destroy() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_dbell_destroy() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | r vmci_handle_arr_remove_entry |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_notify_dbell() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_qp_create() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
| LOCK2 | global &qp_broker_list.mutex | ||
| TYPE_LOCK | (struct qp_list)->mutex |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_qp_destroy() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &qp_broker_list.mutex | ||
| TYPE_LOCK | (struct qp_list)->mutex |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_qp_destroy() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | r vmci_handle_arr_remove_entry |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &qp_broker_list.mutex | ||
| TYPE_LOCK | (struct qp_list)->mutex |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_qp_exists() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | global &qp_broker_list.mutex | ||
| TYPE_LOCK | (struct qp_list)->mutex |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_rcv_notifications_release() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | r vmci_handle_arr_remove_tail |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &context->lock | ||
| TYPE_LOCK | (struct vmci_ctx)->lock |
drivers/misc/vmw_vmci/vmci_context.c vmci_ctx_rcv_notifications_release() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | r vmci_handle_arr_remove_tail |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | &context->lock | ||
| TYPE_LOCK | (struct vmci_ctx)->lock |
drivers/misc/vmw_balloon.c vmballoon_vmci_cleanup() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| HALF_LOCKED2 | &b->conf_sem |
drivers/misc/vmw_vmci/vmci_queue_pair.c qp_alloc_host_work() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | &pool->lock | ||
| HALF_LOCKED2 | listener | ||
| HALF_LOCKED2 | pending | ||
| HALF_LOCKED2 | sk |
drivers/misc/vmw_vmci/vmci_queue_pair.c qp_broker_alloc() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $0 |
| HALF_LOCKED2 | &pool->lock |
drivers/misc/vmw_vmci/vmci_queue_pair.c qp_detatch() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $0 |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | sk |
drivers/misc/vmw_vmci/vmci_queue_pair.c qp_guest_endpoint_create() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $0 |
| 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_list_find() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &qp_broker_list.mutex | ||
| HALF_LOCKED2 | global &qp_guest_endpoints.mutex | ||
| TYPE_LOCK | (struct qp_list)->mutex |
drivers/misc/vmw_vmci/vmci_queue_pair.c qp_notify_peer() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qp_broker_map() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $0 |
drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qp_broker_set_page_store() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $0 |
drivers/misc/vmw_vmci/vmci_queue_pair.c vmci_qp_broker_unmap() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $0 |
net/vmw_vsock/vmci_transport.c vmci_transport_exit() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|
net/vmw_vsock/vmci_transport.c vmci_transport_free_resources() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|
net/vmw_vsock/vmci_transport.c vmci_transport_handle_detach() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &(trans->sk)->sk_lock.slock | ||
| HALF_LOCKED2 | &trans->lock | ||
| HALF_LOCKED2 | global &vsock_table_lock | ||
| HALF_LOCKED2 | rcu_read |
net/vmw_vsock/vmci_transport.c vmci_transport_peer_detach_cb() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &qp_guest_endpoints.mutex |
net/vmw_vsock/vmci_transport.c vmci_transport_recv_connecting_client() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | sk | ||
| HALF_LOCKED2 | &pool->lock |
net/vmw_vsock/vmci_transport.c vmci_transport_recv_connecting_client() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | sk | ||
| HALF_LOCKED2 | &pool->lock |
net/vmw_vsock/vmci_transport.c vmci_transport_recv_connecting_client_negotiate() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | sk | ||
| HALF_LOCKED2 | &pool->lock |
net/vmw_vsock/vmci_transport.c vmci_transport_recv_connecting_server() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | listener | ||
| LOCK2 | pending | ||
| HALF_LOCKED2 | &pool->lock |
net/vmw_vsock/vmci_transport.c vmci_transport_release() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | sk |
net/vmw_vsock/vmci_transport.c vmci_transport_stream_is_active() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | sk | ||
| HALF_LOCKED2 | &pool->lock |
drivers/misc/vmw_vmci/vmci_doorbell.c vmci_dbell_host_context_notify() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $1 |
drivers/misc/vmw_vmci/vmci_doorbell.c vmci_doorbell_create() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| LOCK2 | &b->conf_sem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct vmballoon)->conf_sem |
drivers/misc/vmw_vmci/vmci_doorbell.c vmci_doorbell_destroy() -> vmci_handle_is_invalid()
| Type | Parameter | Key | Value |
|---|---|---|---|
| DATA_SOURCE | 0 | h | $0 |
| HALF_LOCKED2 | &b->conf_sem | ||
| HALF_LOCKED2 | &pool->lock |