Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/net/hyperv/netvsc.c hv_pkt_iter_next() -> hv_pkt_iter_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer->feature_bits.feat_pending_send_sz | 0 |
| PARAM_VALUE | 0 | channel->primary_channel | 0,4096-ptr_max |
| CAPPED_DATA | 0 | channel->inbound.ring_datasize | 1 |
| DATA_SOURCE | 0 | channel | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &ni->dev_lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | rcu_read |
drivers/hv/ring_buffer.c hv_ringbuffer_read() -> hv_pkt_iter_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->flags | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->len8 | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->offset8 | 2-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->type | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer | 4096-ptr_max |
| BUF_SIZE | 0 | channel | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | channel | s32min-(-1),1-s32max |
| CAPPED_DATA | 0 | channel->inbound.ring_datasize | 1 |
| DATA_SOURCE | 0 | channel | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &channel->sched_lock | ||
| HALF_LOCKED2 | rcu_read |
drivers/scsi/storvsc_drv.c hv_pkt_iter_next() -> hv_pkt_iter_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->flags | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->len8 | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->offset8 | 2-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->type | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer->feature_bits.feat_pending_send_sz | 0 |
| PARAM_VALUE | 0 | channel->primary_channel | 0,4096-ptr_max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | channel->inbound.ring_datasize | 1 |
| DATA_SOURCE | 0 | channel | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &channel->sched_lock | ||
| HALF_LOCKED2 | rcu_read |
drivers/scsi/storvsc_drv.c storvsc_on_channel_callback() -> hv_pkt_iter_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->flags | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->len8 | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->offset8 | 2-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->type | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer->feature_bits.feat_pending_send_sz | 0 |
| PARAM_VALUE | 0 | channel->primary_channel | 0,4096-ptr_max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | channel | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | channel | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &channel->sched_lock | ||
| HALF_LOCKED2 | rcu_read |
net/vmw_vsock/hyperv_transport.c hv_pkt_iter_next() -> hv_pkt_iter_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer | 4096-ptr_max |
| CAPPED_DATA | 0 | channel->inbound.ring_datasize | 1 |
| DATA_SOURCE | 0 | channel | $0 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| LOCK2 | sk |
drivers/input/serio/hyperv-keyboard.c hv_pkt_iter_next() -> hv_pkt_iter_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->flags | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->len8 | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->offset8 | 2-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->type | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer->feature_bits.feat_pending_send_sz | 0 |
| CAPPED_DATA | 0 | channel->inbound.ring_datasize | 1 |
| DATA_SOURCE | 0 | channel | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &channel->sched_lock | ||
| HALF_LOCKED2 | rcu_read |
drivers/hid/hid-hyperv.c hv_pkt_iter_next() -> hv_pkt_iter_close()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | channel | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->flags | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->len8 | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->offset8 | 2-u16max |
| PARAM_VALUE | 0 | channel->inbound.pkt_buffer->type | 0-u16max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer | 4096-ptr_max |
| PARAM_VALUE | 0 | channel->inbound.ring_buffer->feature_bits.feat_pending_send_sz | 0 |
| CAPPED_DATA | 0 | channel->inbound.ring_datasize | 1 |
| DATA_SOURCE | 0 | channel | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &channel->sched_lock | ||
| HALF_LOCKED2 | rcu_read |