Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/misc/vmw_vmci/vmci_queue_pair.c qp_alloc_hypercall() -> vmci_send_datagram()

Type Parameter Key Value
PARAM_VALUE 0 dg 4096-ptr_max
PARAM_VALUE 0 dg->payload_size 0-3999976,18446744073709551592-u64max
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_detatch_hypercall() -> vmci_send_datagram()

Type Parameter Key Value
PARAM_VALUE 0 dg 4999675765319327744
PARAM_VALUE 0 dg->payload_size 8
RX_PATH
TASK_NOT_RUNNING
LOCK2 global &qp_guest_endpoints.mutex
TYPE_LOCK (struct qp_list)->mutex

drivers/misc/vmw_vmci/vmci_datagram.c dg_dispatch_as_guest() -> vmci_send_datagram()

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

drivers/misc/vmw_vmci/vmci_doorbell.c dbell_link() -> vmci_send_datagram()

Type Parameter Key Value
PARAM_VALUE 0 dg 897978825394040832
PARAM_VALUE 0 dg->payload_size 16
LOCK2 &b->conf_sem
LOCK2 &pool->lock
TYPE_LOCK (struct vmballoon)->conf_sem

drivers/misc/vmw_vmci/vmci_doorbell.c dbell_unlink() -> vmci_send_datagram()

Type Parameter Key Value
PARAM_VALUE 0 dg 6827359305250594816
PARAM_VALUE 0 dg->payload_size 8
HALF_LOCKED2 &b->conf_sem
HALF_LOCKED2 &pool->lock

drivers/misc/vmw_vmci/vmci_doorbell.c vmci_dbell_register_notification_bitmap() -> vmci_send_datagram()

Type Parameter Key Value
PARAM_VALUE 0 dg 8954332344915865600
PARAM_VALUE 0 dg->payload_size 8
PARAM_VALUE 0 dg->src.context 0,u32max
PARAM_VALUE 0 dg->src.resource 0,u32max
RX_PATH
TASK_NOT_RUNNING

drivers/misc/vmw_vmci/vmci_guest.c vmci_check_host_caps() -> vmci_send_datagram()

Type Parameter Key Value
PARAM_VALUE 0 dg 4096-ptr_max
PARAM_VALUE 0 dg->payload_size 12
BUF_SIZE 0 dg 36
BUF_SIZE 0 dg 36
DATA_SOURCE 0 dg r _kzalloc_noprof
BIT_INFO 0 dg->dst 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pdev->dev.mutex

drivers/misc/vmw_vmci/vmci_guest.c vmci_get_vm_context_id() -> vmci_send_datagram()

Type Parameter Key Value
PARAM_VALUE 0 dg 428945029665243136
PARAM_VALUE 0 dg->payload_size 0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &b->conf_sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &qp_guest_endpoints.mutex