Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/hv/ring_buffer.c hv_ringbuffer_write() -> (struct vmbus_channel)->next_request_id_callback()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->next_request_id_callback 1-u64max
PARAM_VALUE 0 channel->out_full_flag 0
PARAM_VALUE 0 channel->outbound.ring_buffer 4096-ptr_max
PARAM_VALUE 0 channel->outbound.ring_buffer->interrupt_mask 0-1
PARAM_VALUE 0 channel->rescind 0
BUF_SIZE 1 rqst_addr->compl_ctxt (-1),104,120
BUF_SIZE 1 rqst_addr->payload (-1),32-8388648
DATA_SOURCE 0 channel $0
DATA_SOURCE 1 rqst_addr $3
CONTAINER 0 -1560+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size
NO_OVERFLOW_SIMPLE 1 rqst_addr
LOCK2 &outring_info->ring_lock
LOCK2 flags
TYPE_LOCK (struct hv_ring_buffer_info)->ring_lock