Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio.c virtio_config_changed() -> __virtio_config_changed()

Type Parameter Key Value
DATA_SOURCE 0 dev $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 0 &dev->config_lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct virtio_device)->config_lock

drivers/virtio/virtio.c virtio_config_core_enable() -> __virtio_config_changed()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config 4096-ptr_max
PARAM_VALUE 0 dev->config->del_vqs 3457662646198779904,4540088415867748352,5024372139014213632,9123018950478393344
PARAM_VALUE 0 dev->config->get 0,4096-ptr_max
PARAM_VALUE 0 dev->config->get_extended_features 0,6730071979336241152
PARAM_VALUE 0 dev->config->get_status 4096-ptr_max
PARAM_VALUE 0 dev->config->reset 4096-ptr_max
PARAM_VALUE 0 dev->config->set_status 4096-ptr_max
PARAM_VALUE 0 dev->config_change_pending 1
PARAM_VALUE 0 dev->config_core_enabled 1
PARAM_VALUE 0 dev->config_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 dev->failed 0-1
NO_OVERFLOW_SIMPLE 0 dev->priv->num_vqs
LOCK2 irq
LOCK2 0 &dev->config_lock
TYPE_LOCK (struct virtio_device)->config_lock

drivers/virtio/virtio.c virtio_config_driver_enable() -> __virtio_config_changed()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->config_change_pending 1
PARAM_VALUE 0 dev->config_driver_disabled 0
PARAM_VALUE 0 dev->config_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev $0
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &dev->config_lock
HALF_LOCKED2 global &rtnl_mutex
TYPE_LOCK (struct virtio_device)->config_lock