vdev_to_rvdev identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/remoteproc/remoteproc_virtio.c, line 48 (as a function)

Referenced in 1 files:

drivers/remoteproc/remoteproc_virtio.c

Smatch caller information:

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

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
BUF_SIZE	0	vdev->priv	(-1),112,336,576,928,4600-s32max
DATA_SOURCE	0	vdev	$0
STR_LEN	0	vdev	(-1),3,5-6,8,11,13
STR_LEN	0	vdev	(-1),3,5-6,8,11,13
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &the_virtio_vsock_mutex

drivers/remoteproc/remoteproc_virtio.c rproc_virtio_dev_release() -> vdev_to_rvdev()

Type	Parameter	Key	Value
RX_PATH
TASK_NOT_RUNNING

drivers/remoteproc/remoteproc_virtio.c rproc_virtio_finalize_features() -> vdev_to_rvdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
DATA_SOURCE	0	vdev	$0
RX_PATH
TASK_NOT_RUNNING

drivers/remoteproc/remoteproc_virtio.c rproc_virtio_get() -> vdev_to_rvdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
BUF_SIZE	0	vdev->priv	s32min-(-1),1-s32max
DATA_SOURCE	0	vdev	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vdev->failed	0-1
NO_OVERFLOW_SIMPLE	0	vdev->priv->num_vqs
HALF_LOCKED2		&vblk->vdev_mutex
HALF_LOCKED2	0	&vdev->config_lock

drivers/remoteproc/remoteproc_virtio.c rproc_virtio_get_features() -> vdev_to_rvdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
BUF_SIZE	0	vdev	s32min-(-1),1-s32max
BUF_SIZE	0	vdev	s32min-(-1),1-s32max
DATA_SOURCE	0	vdev	$0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&s->lock

drivers/remoteproc/remoteproc_virtio.c rproc_virtio_get_status() -> vdev_to_rvdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
BUF_SIZE	0	vdev	(-1),1872
BUF_SIZE	0	vdev	(-1),1872
BUF_SIZE	0	vdev->config	(-1),144
BUF_SIZE	0	vdev->dev.bus	(-1),168
BUF_SIZE	0	vdev->dev.parent	(-1),1616
BUF_SIZE	0	vdev->priv	(-1),112,200,280,336,376-752,816,928,2352,4600-s32max
DATA_SOURCE	0	vdev	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vdev->config_change_pending	0
HOST_DATA	0	vdev->config_core_enabled	0
HOST_DATA	0	vdev->config_driver_disabled	0
HOST_DATA	0	vdev->dev.bus_dma_limit	0-u64max
HOST_DATA	0	vdev->dev.coherent_dma_mask	0-u64max
HOST_DATA	0	vdev->dev.devt	0-u32max
HOST_DATA	0	vdev->dev.id	0-u32max
HOST_DATA	0	vdev->dev.kobj.release.cpu	s32min-s32max
HOST_DATA	0	vdev->dev.kobj.release.timer.expires	0-u64max
HOST_DATA	0	vdev->dev.kobj.release.timer.flags	0-u32max
HOST_DATA	0	vdev->dev.kobj.release.work.data.counter	s64min-s64max
HOST_DATA	0	vdev->dev.kobj.uevent_suppress	0-1
HOST_DATA	0	vdev->dev.mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vdev->dev.mutex.owner.counter	s64min-s64max
HOST_DATA	0	vdev->dev.power.accounting_timestamp	0-u64max
HOST_DATA	0	vdev->dev.power.active_time	0-u64max
HOST_DATA	0	vdev->dev.power.async_suspend	0-1
HOST_DATA	0	vdev->dev.power.autosuspend_delay	s32min-s32max
HOST_DATA	0	vdev->dev.power.can_wakeup	0-1
HOST_DATA	0	vdev->dev.power.detach_power_off	0-1
HOST_DATA	0	vdev->dev.power.direct_complete	0-1
HOST_DATA	0	vdev->dev.power.driver_flags	0-u32max
HOST_DATA	0	vdev->dev.power.in_dpm_list	0-1
HOST_DATA	0	vdev->dev.power.irq_safe	0-1
HOST_DATA	0	vdev->dev.power.last_busy	0-u64max
HOST_DATA	0	vdev->dev.power.links_count	0-u32max
HOST_DATA	0	vdev->dev.power.may_skip_resume	0-1
HOST_DATA	0	vdev->dev.power.memalloc_noio	0-1
HOST_DATA	0	vdev->dev.power.must_resume	0-1
HOST_DATA	0	vdev->dev.power.no_callbacks	0-1
HOST_DATA	0	vdev->dev.power.no_pm	0-1
HOST_DATA	0	vdev->dev.power.no_pm_callbacks	0-1
HOST_DATA	0	vdev->dev.power.out_band_wakeup	0-1
HOST_DATA	0	vdev->dev.power.power_state.event	s32min-s32max
HOST_DATA	0	vdev->dev.power.smart_suspend	0-1
HOST_DATA	0	vdev->dev.power.strict_midlayer	0-1
HOST_DATA	0	vdev->dev.power.suspended_time	0-u64max
HOST_DATA	0	vdev->dev.power.syscore	0-1
HOST_DATA	0	vdev->dev.power.timer_autosuspends	0-1
HOST_DATA	0	vdev->dev.power.use_autosuspend	0-1
HOST_DATA	0	vdev->dev.power.work_in_progress	0-1
HOST_DATA	0	vdev->dev.removable	0-u32max
HOST_DATA	0	vdev->failed	0-1
HOST_DATA	0	vdev->features	0-u64max
HOST_DATA	0	vdev->id.device	1-u32max
HOST_DATA	0	vdev->id.vendor	0-u32max
HOST_DATA	0	vdev->index	0-s32max
NO_OVERFLOW_SIMPLE	0	vdev->priv->num_vqs
HALF_LOCKED2		&of->mutex
HALF_LOCKED2		&pci_dev->dev.mutex
HALF_LOCKED2		_T->lock
HALF_LOCKED2		global &pci_rescan_remove_lock
HALF_LOCKED2		global &the_virtio_vsock_mutex

drivers/remoteproc/remoteproc_virtio.c rproc_virtio_reset() -> vdev_to_rvdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
BUF_SIZE	0	vdev->config	(-1),144
BUF_SIZE	0	vdev->dev.bus	(-1),168
BUF_SIZE	0	vdev->dev.parent	(-1),1616
BUF_SIZE	0	vdev->priv	(-1),200,280,336,376-752,928,2352,4600-s32max
DATA_SOURCE	0	vdev	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vdev->dev.bus_dma_limit	0-u64max
HOST_DATA	0	vdev->dev.coherent_dma_mask	0-u64max
HOST_DATA	0	vdev->dev.devt	0-u32max
HOST_DATA	0	vdev->dev.id	0-u32max
HOST_DATA	0	vdev->dev.kobj.release.cpu	s32min-s32max
HOST_DATA	0	vdev->dev.kobj.release.timer.expires	0-u64max
HOST_DATA	0	vdev->dev.kobj.release.timer.flags	0-u32max
HOST_DATA	0	vdev->dev.kobj.release.work.data.counter	s64min-s64max
HOST_DATA	0	vdev->dev.kobj.uevent_suppress	0-1
HOST_DATA	0	vdev->dev.mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vdev->dev.mutex.owner.counter	s64min-s64max
HOST_DATA	0	vdev->dev.power.accounting_timestamp	0-u64max
HOST_DATA	0	vdev->dev.power.active_time	0-u64max
HOST_DATA	0	vdev->dev.power.async_suspend	0-1
HOST_DATA	0	vdev->dev.power.autosuspend_delay	s32min-s32max
HOST_DATA	0	vdev->dev.power.can_wakeup	0-1
HOST_DATA	0	vdev->dev.power.detach_power_off	0-1
HOST_DATA	0	vdev->dev.power.direct_complete	0-1
HOST_DATA	0	vdev->dev.power.driver_flags	0-u32max
HOST_DATA	0	vdev->dev.power.in_dpm_list	0-1
HOST_DATA	0	vdev->dev.power.irq_safe	0-1
HOST_DATA	0	vdev->dev.power.last_busy	0-u64max
HOST_DATA	0	vdev->dev.power.links_count	0-u32max
HOST_DATA	0	vdev->dev.power.may_skip_resume	0-1
HOST_DATA	0	vdev->dev.power.memalloc_noio	0-1
HOST_DATA	0	vdev->dev.power.must_resume	0-1
HOST_DATA	0	vdev->dev.power.no_callbacks	0-1
HOST_DATA	0	vdev->dev.power.no_pm	0-1
HOST_DATA	0	vdev->dev.power.no_pm_callbacks	0-1
HOST_DATA	0	vdev->dev.power.out_band_wakeup	0-1
HOST_DATA	0	vdev->dev.power.power_state.event	s32min-s32max
HOST_DATA	0	vdev->dev.power.smart_suspend	0-1
HOST_DATA	0	vdev->dev.power.strict_midlayer	0-1
HOST_DATA	0	vdev->dev.power.suspended_time	0-u64max
HOST_DATA	0	vdev->dev.power.syscore	0-1
HOST_DATA	0	vdev->dev.power.timer_autosuspends	0-1
HOST_DATA	0	vdev->dev.power.use_autosuspend	0-1
HOST_DATA	0	vdev->dev.power.work_in_progress	0-1
HOST_DATA	0	vdev->dev.removable	0-u32max
HOST_DATA	0	vdev->failed	0-1
HOST_DATA	0	vdev->features	0-u64max
HOST_DATA	0	vdev->id.device	1-u32max
HOST_DATA	0	vdev->id.vendor	0-u32max

drivers/remoteproc/remoteproc_virtio.c rproc_virtio_set() -> vdev_to_rvdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
BUF_SIZE	0	vdev->priv	(-1),4600-s32max
DATA_SOURCE	0	vdev	$0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		&of->mutex

drivers/remoteproc/remoteproc_virtio.c rproc_virtio_set_status() -> vdev_to_rvdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
BUF_SIZE	0	vdev->config	(-1),144
BUF_SIZE	0	vdev->dev.bus	(-1),168
BUF_SIZE	0	vdev->dev.parent	(-1),1616
BUF_SIZE	0	vdev->priv	(-1),112,200,280,336,376-752,816,928,2352,4600-s32max
DATA_SOURCE	0	vdev	$0
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	0	vdev->config_change_pending	0
HOST_DATA	0	vdev->config_core_enabled	0
HOST_DATA	0	vdev->config_driver_disabled	0
HOST_DATA	0	vdev->dev.bus_dma_limit	0-u64max
HOST_DATA	0	vdev->dev.coherent_dma_mask	0-u64max
HOST_DATA	0	vdev->dev.devt	0-u32max
HOST_DATA	0	vdev->dev.id	0-u32max
HOST_DATA	0	vdev->dev.kobj.release.cpu	s32min-s32max
HOST_DATA	0	vdev->dev.kobj.release.timer.expires	0-u64max
HOST_DATA	0	vdev->dev.kobj.release.timer.flags	0-u32max
HOST_DATA	0	vdev->dev.kobj.release.work.data.counter	s64min-s64max
HOST_DATA	0	vdev->dev.kobj.uevent_suppress	0-1
HOST_DATA	0	vdev->dev.mutex.osq.tail.counter	s32min-s32max
HOST_DATA	0	vdev->dev.mutex.owner.counter	s64min-s64max
HOST_DATA	0	vdev->dev.power.accounting_timestamp	0-u64max
HOST_DATA	0	vdev->dev.power.active_time	0-u64max
HOST_DATA	0	vdev->dev.power.async_suspend	0-1
HOST_DATA	0	vdev->dev.power.autosuspend_delay	s32min-s32max
HOST_DATA	0	vdev->dev.power.can_wakeup	0-1
HOST_DATA	0	vdev->dev.power.detach_power_off	0-1
HOST_DATA	0	vdev->dev.power.direct_complete	0-1
HOST_DATA	0	vdev->dev.power.driver_flags	0-u32max
HOST_DATA	0	vdev->dev.power.in_dpm_list	0-1
HOST_DATA	0	vdev->dev.power.irq_safe	0-1
HOST_DATA	0	vdev->dev.power.last_busy	0-u64max
HOST_DATA	0	vdev->dev.power.links_count	0-u32max
HOST_DATA	0	vdev->dev.power.may_skip_resume	0-1
HOST_DATA	0	vdev->dev.power.memalloc_noio	0-1
HOST_DATA	0	vdev->dev.power.must_resume	0-1
HOST_DATA	0	vdev->dev.power.no_callbacks	0-1
HOST_DATA	0	vdev->dev.power.no_pm	0-1
HOST_DATA	0	vdev->dev.power.no_pm_callbacks	0-1
HOST_DATA	0	vdev->dev.power.out_band_wakeup	0-1
HOST_DATA	0	vdev->dev.power.power_state.event	s32min-s32max
HOST_DATA	0	vdev->dev.power.smart_suspend	0-1
HOST_DATA	0	vdev->dev.power.strict_midlayer	0-1
HOST_DATA	0	vdev->dev.power.suspended_time	0-u64max
HOST_DATA	0	vdev->dev.power.syscore	0-1
HOST_DATA	0	vdev->dev.power.timer_autosuspends	0-1
HOST_DATA	0	vdev->dev.power.use_autosuspend	0-1
HOST_DATA	0	vdev->dev.power.work_in_progress	0-1
HOST_DATA	0	vdev->dev.removable	0-u32max
HOST_DATA	0	vdev->failed	0-1
HOST_DATA	0	vdev->features	0-u64max
HOST_DATA	0	vdev->id.device	1-u32max
HOST_DATA	0	vdev->id.vendor	0-u32max
HOST_DATA	0	vdev->index	0-s32max
NO_OVERFLOW_SIMPLE	0	vdev->priv->num_vqs
HALF_LOCKED2		global &the_virtio_vsock_mutex

drivers/remoteproc/remoteproc_virtio.c vdev_to_rproc() -> vdev_to_rvdev()

Type	Parameter	Key	Value
PARAM_VALUE	0	vdev	4096-ptr_max
BUF_SIZE	0	vdev->priv	(-1),112,336,576,928,4520-s32max
DATA_SOURCE	0	vdev	$0
STR_LEN	0	vdev	(-1),3,5-6,8,11,13
STR_LEN	0	vdev	(-1),3,5-6,8,11,13
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2		global &the_virtio_vsock_mutex