Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c virtnet_freeze() -> remove_vq_common()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->node->next->pprev 1-u64max
PARAM_VALUE 0 vi->node_dead->next->pprev 1-u64max
BUF_SIZE 0 vi s32min-(-2),1-s32max
BUF_SIZE 0 vi s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vi unit_byte

drivers/net/virtio_net.c virtnet_remove() -> remove_vq_common()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->dev 4096-ptr_max
PARAM_VALUE 0 vi->dev->nd_net.net 4096-ptr_max
PARAM_VALUE 0 vi->dev->nd_net.net->dev_unreg_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 vi->dev->nd_net.net->notrefcnt_tracker.dead 1
PARAM_VALUE 0 vi->dev->nd_net.net->rtnl_mutex.dep_map->name 0-255
PARAM_VALUE 0 vi->dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vi->dev->nd_net.net->rtnl_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vi->dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vi->dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vi->dev->nd_net.net->rtnl_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vi->failover 0,4096-ptr_max
PARAM_VALUE 0 vi->failover->dev_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 0 vi->failover->dev_tracker->dead 0-1
PARAM_VALUE 0 vi->failover->dev_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 0 vi->failover->failover_dev->dev.kobj.release->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 vi->failover->failover_dev->dev.kobj.release.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 vi->failover->failover_dev->lock.dep_map->name 0-255
PARAM_VALUE 0 vi->failover->failover_dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vi->failover->failover_dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vi->failover->failover_dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vi->failover->failover_dev->needs_free_netdev 1
PARAM_VALUE 0 vi->failover->failover_dev->refcnt_tracker.dead 1
PARAM_VALUE 0 vi->failover->failover_dev->refcnt_tracker.quarantine.prev 4096-ptr_max
PARAM_VALUE 0 vi->failover->failover_dev->refcnt_tracker.quarantine.prev->next 4096-ptr_max
PARAM_VALUE 0 vi->failover->failover_dev->refcnt_tracker.quarantine.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vi->failover->failover_dev->reg_state 4
PARAM_VALUE 0 vi->node->next->pprev 1-u64max
PARAM_VALUE 0 vi->node_dead->next->pprev 1-u64max
PARAM_VALUE 0 vi->rx_mode_work_enabled 0
PARAM_VALUE 0 *vi->failover->failover_dev->name 0-255
BUF_SIZE 0 vi s32min-(-2),1-s32max
BUF_SIZE 0 vi s32min-(-2),1-s32max
CAPPED_DATA 0 vi->dev->nd_net.net 1
CAPPED_DATA 0 vi->failover 1
CAPPED_DATA 0 &vi->config_work 1
CAPPED_DATA 0 &vi->rx_mode_work 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vi unit_byte
HALF_LOCKED2 &_d->mutex

drivers/net/virtio_net.c virtnet_restore() -> remove_vq_common()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->rss_hdr->indirection_table_mask 0-65534
PARAM_VALUE 0 vi->rss_hdr->unclassified_queue 0
BUF_SIZE 0 vi s32min-(-2),1-s32max
BUF_SIZE 0 vi s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vi unit_byte