Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
PARAM_VALUE 0 vi->vdev 4096-ptr_max
PARAM_VALUE 0 vi->vdev->config 4096-ptr_max
PARAM_VALUE 0 vi->vdev->config->reset 4096-ptr_max
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
DATA_SOURCE 0 vi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vi unit_byte
HALF_LOCKED2 &_d->mutex

drivers/net/virtio_net.c virtnet_restore_up() -> free_unused_bufs()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->ctrl 0,4096-ptr_max
PARAM_VALUE 0 vi->dev 4096-ptr_max
PARAM_VALUE 0 vi->dev->lock.dep_map->name 0-255
PARAM_VALUE 0 vi->dev->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 vi->dev->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 vi->dev->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 vi->dev->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 vi->dev->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 vi->dev->lock.first_waiter->task->blocked_lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 0 vi->dev->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 vi->dev->priv->max_queue_pairs 1-u16max
PARAM_VALUE 0 vi->dev->threaded 0
PARAM_VALUE 0 vi->rq 16,4096-ptr_max
PARAM_VALUE 0 vi->rx_mode_work_enabled 1
PARAM_VALUE 0 vi->sq 16,4096-ptr_max
PARAM_VALUE 0 vi->vdev->vqs.prev->next 4096-ptr_max
PARAM_VALUE 0 vi->vdev->vqs.prev->next->next 4096-ptr_max
PARAM_VALUE 0 vi->vdev->vqs_list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 *vi->dev->name 0-255
BUF_SIZE 0 vi s32min-(-2),1-s32max
BUF_SIZE 0 vi s32min-(-2),1-s32max
CAPPED_DATA 0 vi->max_queue_pairs 1
CAPPED_DATA 0 vi->rq 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 vi->max_queue_pairs
UNITS 0 vi unit_byte