Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/char/hw_random/virtio-rng.c virtrng_freeze() -> remove_common()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->config 4096-ptr_max
PARAM_VALUE 0 vb->config_core_enabled 0
PARAM_VALUE 0 vb->config_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 vb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vb->failed 0-1

drivers/char/hw_random/virtio-rng.c virtrng_remove() -> remove_common()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->config_core_enabled 0
PARAM_VALUE 0 vb->config_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 vb $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &_d->mutex

drivers/virtio/virtio_balloon.c virtballoon_freeze() -> remove_common()

Type Parameter Key Value
BUF_SIZE 0 vb s32min-(-2),1-s32max
BUF_SIZE 0 vb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vb unit_byte

drivers/virtio/virtio_balloon.c virtballoon_remove() -> remove_common()

Type Parameter Key Value
PARAM_VALUE 0 vb 4096-ptr_max
PARAM_VALUE 0 vb->pr_dev_info.work.work.lockdep_map->name 0-255
PARAM_VALUE 0 vb->report_free_page_work.lockdep_map->name 0-255
PARAM_VALUE 0 vb->shrinker->debugfs_entry 0
PARAM_VALUE 0 vb->shrinker->done.done 0-4294967293,u32max
PARAM_VALUE 0 vb->shrinker->done.wait.lock.dep_map->name 0-255
PARAM_VALUE 0 vb->shrinker->done.wait.lock.owner (-1)
PARAM_VALUE 0 vb->shrinker->done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 vb->shrinker->done.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 0 vb->shrinker->done.wait.task_list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vb->shrinker->flags 0,2-4294967294
PARAM_VALUE 0 vb->shrinker->list.next->prev 4096-ptr_max
PARAM_VALUE 0 vb->shrinker->name 0
PARAM_VALUE 0 vb->shrinker->rcu.func 1-u64max
PARAM_VALUE 0 vb->shrinker->rcu.next 0
PARAM_VALUE 0 vb->stop_update 1
PARAM_VALUE 0 vb->stop_update_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vb->update_balloon_size_work.lockdep_map->name 0-255
PARAM_VALUE 0 vb->update_balloon_stats_work.lockdep_map->name 0-255
BUF_SIZE 0 vb s32min-(-2),1-s32max
BUF_SIZE 0 vb s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vb unit_byte
HALF_LOCKED2 &_d->mutex