Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/vmw_vsock/vmci_transport.c __vmci_transport_send_control_pkt() -> vmci_datagram_send()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->payload_size 32
MEM_ZERO 0 msg
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 sk

net/vmw_vsock/vmci_transport.c vmci_transport_dgram_enqueue() -> vmci_datagram_send()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->payload_size 0-69608
BUF_SIZE 0 msg 24-69632
BUF_SIZE 0 msg 24-69632
CAPPED_DATA 0 msg->payload_size 1
DATA_SOURCE 0 msg r _kmalloc_noprof
BIT_INFO 0 msg->dst 0x0,0x7fffffffffffffff
BIT_INFO 0 msg->src 0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->payload_size 0-69608[c]
LOCK2 sk
HALF_LOCKED2 &vq->mutex