Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c virtnet_close() -> virtnet_disable_queue_pair()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->config_work.lockdep_map->name 0-255
PARAM_VALUE 0 vi->max_queue_pairs 1-u16max
PARAM_VALUE 0 vi->vdev 4096-ptr_max
PARAM_VALUE 0 vi->vdev->config_driver_disabled 1
PARAM_VALUE 0 vi->vdev->config_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp_index 0-65534
CAPPED_DATA 0 &vi->config_work 1
CAPPED_DATA 1 qp_index 1
PARAM_COMPARE 1 qp_index < $0->max_queue_pairs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 qp_index unit_array_size
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &rdev->wiphy.mtx
HALF_LOCKED2 global &rtnl_mutex

drivers/net/virtio_net.c virtnet_open() -> virtnet_disable_queue_pair()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->dev->rtnl_link_ops->maxtype 0-6,8-10,15,18,20,22,24,33-34,50
PARAM_VALUE 0 vi->dev->rtnl_link_ops->priv_size 0,8,32,40,48,56,88,112,120,144,160,224,240,256,296,616,624,728,736
PARAM_VALUE 0 vi->max_queue_pairs 1-u16max
PARAM_VALUE 0 vi->rq 4096-ptr_max
PARAM_VALUE 1 qp_index 0-65533
FUZZY_MAX 0 vi->max_queue_pairs 1
PARAM_COMPARE 1 qp_index < $0->max_queue_pairs
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 qp_index unit_array_size
HALF_LOCKED2 global &rtnl_mutex