Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/virtio/virtio_ring.c __vring_new_virtqueue_packed() -> virtqueue_vring_init_packed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vring_packed | 1812437040530493440,8174589509644320768 |
| PARAM_VALUE | 0 | vring_packed->avail_used_flags | 0 |
| PARAM_VALUE | 0 | vring_packed->avail_wrap_counter | 0 |
| PARAM_VALUE | 0 | vring_packed->event_flags_shadow | 0 |
| PARAM_VALUE | 0 | vring_packed->next_avail_idx | 0 |
| PARAM_VALUE | 0 | vring_packed->vring.driver | 0-ptr_max |
| DATA_SOURCE | 0 | vring_packed | $1 |
| STR_LEN | 0 | vring_packed | (-1),3,5-6,8,11,13 |
| STR_LEN | 0 | vring_packed | (-1),3,5-6,8,11,13 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | vring_packed->ring_size_in_bytes | 16-68719476720[c] |
| HOST_DATA | 0 | vring_packed->vring.num | 1-u32max[c] |
| HALF_LOCKED2 | global &the_virtio_vsock_mutex |
drivers/virtio/virtio_ring.c virtqueue_reset_packed() -> virtqueue_vring_init_packed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vring_packed | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/virtio/virtio_ring.c virtqueue_resize_packed() -> virtqueue_vring_init_packed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | vring_packed | 5667235445245726720 |
| PARAM_VALUE | 0 | vring_packed->avail_used_flags | 0 |
| PARAM_VALUE | 0 | vring_packed->avail_wrap_counter | 0 |
| PARAM_VALUE | 0 | vring_packed->event_flags_shadow | 0 |
| PARAM_VALUE | 0 | vring_packed->next_avail_idx | 0 |
| PARAM_VALUE | 0 | vring_packed->vring.driver | 1-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | global &rtnl_mutex |