Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_mem.c virtio_mem_probe() -> virtio_mem_init()

Type Parameter Key Value
PARAM_VALUE 0 vm 4096-ptr_max
PARAM_VALUE 0 vm->host_resp.head.next 4096-ptr_max
PARAM_VALUE 0 vm->host_resp.head.next->next 4096-ptr_max
PARAM_VALUE 0 vm->host_resp.head.prev 4096-ptr_max
PARAM_VALUE 0 vm->host_resp.head.prev->next 4096-ptr_max
PARAM_VALUE 0 vm->host_resp.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 vm->hotplug_mutex.dep_map->name 0-255
PARAM_VALUE 0 vm->hotplug_mutex.first_waiter 0
PARAM_VALUE 0 vm->hotplug_mutex.magic 4096-ptr_max
PARAM_VALUE 0 vm->hotplug_mutex.osq.tail.counter 0
PARAM_VALUE 0 vm->hotplug_mutex.owner.counter 0
PARAM_VALUE 0 vm->next.next 4096-ptr_max
PARAM_VALUE 0 vm->next.next->next 4096-ptr_max
PARAM_VALUE 0 vm->next.prev 4096-ptr_max
PARAM_VALUE 0 vm->next.prev->next 4096-ptr_max
PARAM_VALUE 0 vm->next.prev->prev 4096-ptr_max
PARAM_VALUE 0 vm->retry_timer._softexpires 0
PARAM_VALUE 0 vm->retry_timer.base 4096-ptr_max
PARAM_VALUE 0 vm->retry_timer.function 1-u64max
PARAM_VALUE 0 vm->retry_timer.is_queued 0
PARAM_VALUE 0 vm->retry_timer.is_rel 0
PARAM_VALUE 0 vm->retry_timer.node.expires 0
PARAM_VALUE 0 vm->retry_timer.node.node.next 0
PARAM_VALUE 0 vm->retry_timer.node.node.node.rb_left 0
PARAM_VALUE 0 vm->retry_timer.node.node.node.rb_right 0
PARAM_VALUE 0 vm->retry_timer.node.node.prev 0
PARAM_VALUE 0 vm->retry_timer_ms 50000
PARAM_VALUE 0 vm->vdev 4096-ptr_max
PARAM_VALUE 0 vm->vdev->config 4096-ptr_max
PARAM_VALUE 0 vm->vdev->config->find_vqs 4096-ptr_max
PARAM_VALUE 0 vm->vdev->priv 4096-ptr_max
PARAM_VALUE 0 vm->vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 vm->vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vm->vdev->vqs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vm->vq 0-ptr_max
BUF_SIZE 0 vm 904
DATA_SOURCE 0 vm r _kzalloc_noprof
MEM_ZERO 0 &vm->retry_timer
RX_PATH
TASK_NOT_RUNNING