Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/virtio/virtio_ring.c vring_alloc_queue_split() -> vring_size()

Type Parameter Key Value
PARAM_VALUE 0 num 1-u32max
DATA_SOURCE 0 num $2 [m]
DATA_SOURCE 1 align $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 num 1-u32max[c]

drivers/virtio/virtio_ring.c vring_alloc_queue_split() -> vring_size()

Type Parameter Key Value
PARAM_VALUE 0 num 1-u32max
DATA_SOURCE 0 num $2 [m]
DATA_SOURCE 1 align $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 num 1-u32max[c]

drivers/virtio/virtio_ring.c vring_alloc_queue_split() -> vring_size()

Type Parameter Key Value
PARAM_VALUE 0 num 1-s32max
DATA_SOURCE 0 num $2 [m]
DATA_SOURCE 1 align $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 num 1-s32max[c]

drivers/virtio/virtio_ring.c vring_alloc_queue_split() -> vring_size()

Type Parameter Key Value
PARAM_VALUE 0 num 1-u32max
DATA_SOURCE 0 num $2 [m]
DATA_SOURCE 1 align $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 num 1-u32max[c]

drivers/virtio/virtio_ring.c vring_alloc_queue_split() -> vring_size()

Type Parameter Key Value
PARAM_VALUE 0 num 1-u32max
DATA_SOURCE 0 num $2 [m]
DATA_SOURCE 1 align $3
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 num 1-u32max[c]

drivers/remoteproc/remoteproc_virtio.c rp_find_vq() -> vring_size()

Type Parameter Key Value
PARAM_VALUE 0 num 1-u32max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &the_virtio_vsock_mutex

drivers/remoteproc/remoteproc_core.c rproc_alloc_vring() -> vring_size()

Type Parameter Key Value
PARAM_VALUE 0 num 1-u32max
RX_PATH
TASK_NOT_RUNNING