Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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_hard 0
PARAM_VALUE 0 vm->retry_timer.is_lazy 0
PARAM_VALUE 0 vm->retry_timer.is_queued 0
PARAM_VALUE 0 vm->retry_timer.is_rel 0
PARAM_VALUE 0 vm->retry_timer.is_soft 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->config->get 358061320328622080,6500970494416850944,8025957840625967104,8389438907370876928,9078089697165746176
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 $0
MEM_ZERO 0 &vm->retry_timer
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vm->device_block_size 0-u64max
HOST_DATA 0 vm->plugged_size 0-u64max
HOST_DATA 1 node_id 0-u16max