Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c remove_vq_common() -> free_receive_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
CAPPED_DATA 0 vi->max_queue_pairs 1
DATA_SOURCE 0 vi $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 vi unit_byte
HALF_LOCKED2 &_d->mutex