Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/hyperv/netvsc.c netvsc_send_completion() -> (struct vmbus_channel)->request_addr_callback()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->primary_channel 0,4096-ptr_max
DATA_SOURCE 0 channel $2
CONTAINER 0 -1568+0 $(-1)

drivers/net/hyperv/netvsc.c netvsc_send_tx_complete() -> (struct vmbus_channel)->request_addr_callback()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->primary_channel 0,4096-ptr_max
DATA_SOURCE 0 channel $2
CONTAINER 0 -1568+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/hv/ring_buffer.c hv_ringbuffer_write() -> (struct vmbus_channel)->request_addr_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->outbound.ring_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 channel->request_addr_callback 1-u64max
PARAM_VALUE 1 trans_id 1-4294967296,18446744073709551612-18446744073709551613
CAPPED_DATA 1 trans_id 1
CAPPED_DATA 1 trans_id 1
DATA_SOURCE 0 channel $0
CONTAINER 0 -1568+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 channel->requestor.size
NO_OVERFLOW_SIMPLE 0 channel->ringbuffer_gpadlhandle.size
NO_OVERFLOW_SIMPLE 0 channel->rqstor_size