Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio.c __virtio_config_changed() -> (struct virtio_driver)->config_changed()

Type Parameter Key Value
PARAM_VALUE 0 vdev 4096-ptr_max
PARAM_VALUE 0 vdev->config->del_vqs 3457662646198779904,4540088415867748352,5024372139014213632,9123018950478393344
PARAM_VALUE 0 vdev->config->get 0,4096-ptr_max
PARAM_VALUE 0 vdev->config->get_extended_features 0,6730071979336241152
PARAM_VALUE 0 vdev->config->get_status 4096-ptr_max
PARAM_VALUE 0 vdev->config->reset 4096-ptr_max
PARAM_VALUE 0 vdev->config->set_status 4096-ptr_max
PARAM_VALUE 0 vdev->config_core_enabled 1
PARAM_VALUE 0 vdev->config_driver_disabled 0
DATA_SOURCE 0 vdev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vdev->failed 0-1
NO_OVERFLOW_SIMPLE 0 vdev->priv->num_vqs
LOCK2 0 &vdev->config_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq
TYPE_LOCK (struct virtio_device)->config_lock