Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/virtio/virtio_mem.c virtio_mem_deinit_hotplug() -> virtio_mem_delete_resource()

Type Parameter Key Value
PARAM_VALUE 0 vm 4096-ptr_max
PARAM_VALUE 0 vm->hotplug_mutex.dep_map->name 0-255
PARAM_VALUE 0 vm->hotplug_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 vm->hotplug_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vm->hotplug_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vm->hotplug_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vm->hotplug_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vm->hotplug_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 vm->hotplug_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vm->hotplug_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 vm->hotplug_mutex.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 vm->in_kdump 0
PARAM_VALUE 0 vm->next.next->prev 4096-ptr_max
PARAM_VALUE 0 vm->removal_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vm->removing 1
PARAM_VALUE 0 vm->wq.lockdep_map->name 0-255
BUF_SIZE 0 vm s32min-(-2),1-s32max
BUF_SIZE 0 vm s32min-(-2),1-s32max
CAPPED_DATA 0 vm->retry_timer.base 1
CAPPED_DATA 0 &vm->hotplug_mutex 1
CAPPED_DATA 0 &vm->memory_notifier 1
CAPPED_DATA 0 &vm->pm_notifier 1
CAPPED_DATA 0 &vm->retry_timer 1
CAPPED_DATA 0 &vm->wq 1
DATA_SOURCE 0 vm $0
PARAM_COMPARE 0 &vm->retry_timer != $0->retry_timer.base->running
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vm unit_byte
LOCK2 &_d->mutex
TYPE_LOCK (struct device)->mutex

drivers/virtio/virtio_mem.c virtio_mem_init_hotplug() -> virtio_mem_delete_resource()

Type Parameter Key Value
PARAM_VALUE 0 vm 4096-ptr_max
PARAM_VALUE 0 vm->bbm.bb_size 67108864-u64max
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->in_kdump 0
PARAM_VALUE 0 vm->memory_notifier.notifier_call 3902013258354638848
PARAM_VALUE 0 vm->mgid 0-s32max
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->offline_threshold 1073741824-u64max
PARAM_VALUE 0 vm->parent_resource 4096-ptr_max
PARAM_VALUE 0 vm->parent_resource->flags 0-s32max
PARAM_VALUE 0 vm->parent_resource->parent 4096-ptr_max
PARAM_VALUE 0 vm->parent_resource->parent->child 4096-ptr_max
PARAM_VALUE 0 vm->parent_resource->sibling 0,4096-ptr_max
PARAM_VALUE 0 vm->parent_resource->sibling->start 1-u64max
PARAM_VALUE 0 vm->pm_notifier.notifier_call 262987717903671296
PARAM_VALUE 0 vm->pm_notifier.priority s32max
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->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vm->vdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 vm->vdev->dev.driver 0,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->vq 0-ptr_max
BUF_SIZE 0 vm 904
CAPPED_DATA 0 vm->bbm.bb_size 1
CAPPED_DATA 0 vm->offline_threshold 1
CAPPED_DATA 0 &vm->memory_notifier 1
CAPPED_DATA 0 &vm->pm_notifier 1
DATA_SOURCE 0 vm $0
MEM_ZERO 0 &vm->retry_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vm->addr 0-u64max
HOST_DATA 0 vm->bbm.bb_size 67108865-u64max[c]
HOST_DATA 0 vm->device_block_size 0-u64max
HOST_DATA 0 vm->offline_threshold 1073741825-u64max[c]
HOST_DATA 0 vm->plugged_size 0-u64max
HOST_DATA 0 vm->region_size 0-u64max
HOST_DATA 0 vm->sbm.sb_size 2097153-s32max[c]
HOST_DATA 0 vm->sbm.sbs_per_mb 0-s16max[c]
HOST_DATA 0 vm->usable_region_size 0-u64max