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_datagram.c dg_dispatch_as_guest() -> vmci_resource_by_handle()

Type Parameter Key Value
PARAM_VALUE 1 resource_type 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &qp_broker_list.mutex

drivers/misc/vmw_vmci/vmci_datagram.c dg_dispatch_as_host() -> vmci_resource_by_handle()

Type Parameter Key Value
PARAM_VALUE 1 resource_type 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &qp_broker_list.mutex

drivers/misc/vmw_vmci/vmci_datagram.c vmci_datagram_destroy_handle() -> vmci_resource_by_handle()

Type Parameter Key Value
PARAM_VALUE 1 resource_type 3
DATA_SOURCE 0 resource_handle $0
RX_PATH
TASK_NOT_RUNNING

drivers/misc/vmw_vmci/vmci_datagram.c vmci_datagram_get_priv_flags() -> vmci_resource_by_handle()

Type Parameter Key Value
PARAM_VALUE 1 resource_type 3
DATA_SOURCE 0 resource_handle $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &qp_broker_list.mutex

drivers/misc/vmw_vmci/vmci_datagram.c vmci_datagram_invoke_guest_handler() -> vmci_resource_by_handle()

Type Parameter Key Value
PARAM_VALUE 1 resource_type 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 _T->lock

drivers/misc/vmw_vmci/vmci_doorbell.c vmci_dbell_get_priv_flags() -> vmci_resource_by_handle()

Type Parameter Key Value
PARAM_VALUE 1 resource_type 4
DATA_SOURCE 0 resource_handle $0

drivers/misc/vmw_vmci/vmci_doorbell.c vmci_dbell_host_context_notify() -> vmci_resource_by_handle()

Type Parameter Key Value
PARAM_VALUE 1 resource_type 4
DATA_SOURCE 0 resource_handle $1

drivers/misc/vmw_vmci/vmci_doorbell.c vmci_doorbell_destroy() -> vmci_resource_by_handle()

Type Parameter Key Value
PARAM_VALUE 1 resource_type 4
DATA_SOURCE 0 resource_handle $0
HALF_LOCKED2 &b->conf_sem
HALF_LOCKED2 &pool->lock