Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

drivers/net/hyperv/netvsc.c hv_end_read() -> hv_get_bytes_to_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
PARAM_VALUE 0 rbi->ring_buffer 4096-ptr_max
DATA_SOURCE 0 rbi $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/hv/vmbus_drv.c read_avail_show() -> hv_get_bytes_to_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
PARAM_VALUE 0 rbi->ring_buffer 1-u64max
BUF_SIZE 0 rbi 272
CAPPED_DATA 0 &rbi->ring_buffer_mutex 1
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
LOCK2 0 &rbi->ring_buffer_mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct hv_ring_buffer_info)->ring_buffer_mutex
TYPE_LOCK (struct kernfs_open_file)->mutex

drivers/net/hyperv/netvsc_drv.c netvsc_wait_until_empty() -> hv_get_bytes_to_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

drivers/net/hyperv/netvsc_drv.c netvsc_wait_until_empty() -> hv_get_bytes_to_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &rtnl_mutex

net/vmw_vsock/hyperv_transport.c hvs_channel_readable() -> hv_get_bytes_to_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 sk

net/vmw_vsock/hyperv_transport.c hvs_channel_readable_payload() -> hv_get_bytes_to_read()

Type Parameter Key Value
PARAM_VALUE 0 rbi 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 bh
HALF_LOCKED2 sk
HALF_LOCKED2 sock->sk

drivers/hv/connection.c hv_end_read() -> hv_get_bytes_to_read()

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