Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/net/hyperv/netvsc.c netvsc_channel_cb() -> hv_begin_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
BUF_SIZE 0 rbi 272
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &channel->sched_lock
HALF_LOCKED2 rcu_read

drivers/net/hyperv/netvsc.c netvsc_poll() -> hv_begin_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
PARAM_VALUE 0 rbi->ring_buffer 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/hv/vmbus_drv.c vmbus_chan_sched() -> hv_begin_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &channel->sched_lock
LOCK2 rcu_read
TYPE_LOCK (struct vmbus_channel)->sched_lock

drivers/hv/connection.c vmbus_on_event() -> hv_begin_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
PARAM_VALUE 0 rbi->ring_buffer 4096-ptr_max
NOCHECK_CALL