Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_notify_peer_local() -> vmci_event_dispatch()

Type Parameter Key Value
PARAM_VALUE 0 msg 2927601818536390656
PARAM_VALUE 0 msg->payload_size 24
MEM_ZERO 0 msg
LOCK2 global &qp_guest_endpoints.mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sk
TYPE_LOCK (struct qp_list)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->dst.context 2
PARAM_VALUE 0 msg->dst.resource 0
PARAM_VALUE 0 msg->payload_size 0-69608
PARAM_VALUE 0 msg->src.context 0
BUF_SIZE 0 msg (-1),24-69632
BUF_SIZE 0 msg (-1),24-69632
DATA_SOURCE 0 msg $1
FUZZY_MAX 0 msg->payload_size 69608
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->dst.resource 0
USER_DATA 0 msg->payload_size 0-69608
USER_DATA 0 msg->src.resource 0-u32max
USER_PTR 0 msg
HALF_LOCKED2 global &qp_broker_list.mutex

drivers/misc/vmw_vmci/vmci_guest.c vmci_dispatch_dgs() -> vmci_event_dispatch()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->dst.resource 0
PARAM_VALUE 0 msg->src.context 0
BUF_SIZE 0 msg (-1),69632,73728
BUF_SIZE 0 msg (-1),69632,73728
RX_PATH
TASK_NOT_RUNNING
UNITS 0 msg unit_byte
HALF_LOCKED2 _T->lock
HALF_LOCKED2 irq