Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/vmw_vsock/hyperv_transport.c hvs_stream_enqueue() -> hvs_send_data()

Type Parameter Key Value
PARAM_VALUE 0 chan->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 1 send_buf 4096-ptr_max
PARAM_VALUE 1 send_buf->hdr.data_size 0-u32max
PARAM_VALUE 2 to_write 1-4088
BUF_SIZE 1 send_buf 4096
CAPPED_DATA 2 to_write 1
DATA_SOURCE 1 send_buf r _kmalloc_noprof
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 send_buf->hdr.data_size 1-4087[c]
USER_DATA 2 to_write 1-4087[c]
UNITS 2 to_write unit_byte
LOCK2 sk
HALF_LOCKED2 &vq->mutex