Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_vdpa.c vd_get_vdpa() -> to_virtio_vdpa_device()

Type Parameter Key Value
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev s32min-(-1),1-s32max
BUF_SIZE 0 dev->config (-1),144
BUF_SIZE 0 dev->dev.bus (-1),168
BUF_SIZE 0 dev->dev.parent (-1),1616
BUF_SIZE 0 dev->priv s32min-(-1),1-s32max
DATA_SOURCE 0 dev $0
STR_LEN 0 dev (-1),3,5-6,8,11,13
STR_LEN 0 dev (-1),3,5-6,8,11,13
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 dev->config_change_pending 0
HOST_DATA 0 dev->config_core_enabled 0
HOST_DATA 0 dev->config_driver_disabled 0
HOST_DATA 0 dev->dev.bus_dma_limit 0-u64max
HOST_DATA 0 dev->dev.coherent_dma_mask 0-u64max
HOST_DATA 0 dev->dev.devt 0-u32max
HOST_DATA 0 dev->dev.id 0-u32max
HOST_DATA 0 dev->dev.kobj.release.cpu s32min-s32max
HOST_DATA 0 dev->dev.kobj.release.timer.expires 0-u64max
HOST_DATA 0 dev->dev.kobj.release.timer.flags 0-u32max
HOST_DATA 0 dev->dev.kobj.release.work.data.counter s64min-s64max
HOST_DATA 0 dev->dev.kobj.uevent_suppress 0-1
HOST_DATA 0 dev->dev.mutex.osq.tail.counter s32min-s32max
HOST_DATA 0 dev->dev.mutex.owner.counter s64min-s64max
HOST_DATA 0 dev->dev.power.accounting_timestamp 0-u64max
HOST_DATA 0 dev->dev.power.active_time 0-u64max
HOST_DATA 0 dev->dev.power.async_suspend 0-1
HOST_DATA 0 dev->dev.power.autosuspend_delay s32min-s32max
HOST_DATA 0 dev->dev.power.can_wakeup 0-1
HOST_DATA 0 dev->dev.power.detach_power_off 0-1
HOST_DATA 0 dev->dev.power.direct_complete 0-1
HOST_DATA 0 dev->dev.power.driver_flags 0-u32max
HOST_DATA 0 dev->dev.power.in_dpm_list 0-1
HOST_DATA 0 dev->dev.power.irq_safe 0-1
HOST_DATA 0 dev->dev.power.last_busy 0-u64max
HOST_DATA 0 dev->dev.power.links_count 0-u32max
HOST_DATA 0 dev->dev.power.may_skip_resume 0-1
HOST_DATA 0 dev->dev.power.memalloc_noio 0-1
HOST_DATA 0 dev->dev.power.must_resume 0-1
HOST_DATA 0 dev->dev.power.no_callbacks 0-1
HOST_DATA 0 dev->dev.power.no_pm 0-1
HOST_DATA 0 dev->dev.power.no_pm_callbacks 0-1
HOST_DATA 0 dev->dev.power.out_band_wakeup 0-1
HOST_DATA 0 dev->dev.power.power_state.event s32min-s32max
HOST_DATA 0 dev->dev.power.smart_suspend 0-1
HOST_DATA 0 dev->dev.power.strict_midlayer 0-1
HOST_DATA 0 dev->dev.power.suspended_time 0-u64max
HOST_DATA 0 dev->dev.power.syscore 0-1
HOST_DATA 0 dev->dev.power.timer_autosuspends 0-1
HOST_DATA 0 dev->dev.power.use_autosuspend 0-1
HOST_DATA 0 dev->dev.power.work_in_progress 0-1
HOST_DATA 0 dev->dev.removable 0-u32max
HOST_DATA 0 dev->failed 0-1
HOST_DATA 0 dev->features 0-u64max
HOST_DATA 0 dev->id.device 1-u32max
HOST_DATA 0 dev->id.vendor 0-u32max
HOST_DATA 0 dev->index 0-s32max
NO_OVERFLOW_SIMPLE 0 dev->priv->num_vqs
HALF_LOCKED2 0 &dev->config_lock

drivers/virtio/virtio_vdpa.c virtio_vdpa_bus_name() -> to_virtio_vdpa_device()

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

drivers/virtio/virtio_vdpa.c virtio_vdpa_del_vq() -> to_virtio_vdpa_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &vblk->vdev_mutex
HALF_LOCKED2 global &the_virtio_vsock_mutex

drivers/virtio/virtio_vdpa.c virtio_vdpa_find_vqs() -> to_virtio_vdpa_device()

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

drivers/virtio/virtio_vdpa.c virtio_vdpa_set_vq_affinity() -> to_virtio_vdpa_device()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING