Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 dg 4096-ptr_max
PARAM_VALUE 1 dg->payload_size 0-3999976,18446744073709551592-u64max
BUF_SIZE 1 dg (-1),24-69632
BUF_SIZE 1 dg (-1),24-69632
DATA_SOURCE 1 dg $0
FUZZY_MAX 1 dg->payload_size 69608
NOSPEC 1 dg->dst.context
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 dg->dst.context 0-4294967294[c]
USER_DATA 1 dg->dst.resource 0-u32max
USER_DATA 1 dg->payload_size 0-69608
USER_DATA 1 dg->src.context 0-u32max
USER_DATA 1 dg->src.resource 0-u32max
USER_PTR 1 dg
LOCK2 flags
LOCK2 global &vmci_dev_spinlock
HALF_LOCKED2 &b->conf_sem
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &qp_guest_endpoints.mutex