Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c __virtnet_get_hw_stats() -> virtnet_send_command_reply()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 1 class 8
PARAM_VALUE 2 cmd 1
PARAM_VALUE 3 out 3213951427245473792
PARAM_VALUE 3 out->offset 0-4095
PARAM_VALUE 4 in 3040686160231145472
PARAM_VALUE 4 in->offset 0-4095
DATA_SOURCE 0 vi $0
RX_PATH
TASK_NOT_RUNNING

drivers/net/virtio_net.c virtnet_probe() -> virtnet_send_command_reply()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->big_packets 1
PARAM_VALUE 0 vi->big_packets_num_skbfrags 1-17
PARAM_VALUE 0 vi->ctrl 0,4096-ptr_max
PARAM_VALUE 0 vi->cvq_lock.dep_map->name 0-255
PARAM_VALUE 0 vi->cvq_lock.first_waiter 0
PARAM_VALUE 0 vi->cvq_lock.magic 4096-ptr_max
PARAM_VALUE 0 vi->cvq_lock.osq.tail.counter 0
PARAM_VALUE 0 vi->cvq_lock.owner.counter 0
PARAM_VALUE 0 vi->dev->addr_assign_type 1
PARAM_VALUE 0 vi->dev->dev.parent 4096-ptr_max
PARAM_VALUE 0 vi->dev->ethtool_ops 1114054419800895488
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->max_mtu u16max
PARAM_VALUE 0 vi->dev->min_mtu 68
PARAM_VALUE 0 vi->dev->netdev_ops 5623117490660835328
PARAM_VALUE 0 vi->dev->priv_flags 0,4096-u32max
PARAM_VALUE 0 vi->dev->stat_ops 1319932271909093376
PARAM_VALUE 0 vi->dev->threaded 0
PARAM_VALUE 0 vi->dev->vlan_features 0,256-u64max
PARAM_VALUE 0 vi->dev->xdp_features 11
PARAM_VALUE 0 vi->duplex 0-255
PARAM_VALUE 0 vi->hdr_len 10,12,20,24
PARAM_VALUE 0 vi->max_queue_pairs 1-32768
PARAM_VALUE 0 vi->rq 16,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->rx_mode_work_enabled 1
PARAM_VALUE 0 vi->speed 0-4294967295
PARAM_VALUE 0 vi->sq 16,4096-ptr_max
PARAM_VALUE 0 vi->vdev 4096-ptr_max
PARAM_VALUE 0 vi->vdev->config 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 0 vi->vdev->dev.bus 0,4096-ptr_max
PARAM_VALUE 0 vi->vdev->dev.class 0,4096-ptr_max
PARAM_VALUE 0 vi->vdev->dev.driver 0,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
PARAM_VALUE 1 class 8
PARAM_VALUE 2 cmd 0
PARAM_VALUE 3 out 0
PARAM_VALUE 4 in 2459729163698593792
PARAM_VALUE 4 in->offset 0-4095
BUF_SIZE 0 vi->failover (-1),40
BUF_SIZE 0 vi->rss_hdr 8-131078,u64max
BUF_SIZE 0 vi->rss_hdr->indirection_table 0-131070,u64max
CAPPED_DATA 0 vi->max_queue_pairs 1
CAPPED_DATA 0 vi->rq 1
FUZZY_MAX 0 vi->hdr_len 24
FUZZY_MAX 0 vi->rss_hdr->indirection_table_mask 0
BIT_INFO 0 vi->hdr_len 0x0,0x1e
HARD_MAX 0 vi->hdr_len 24
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vi->any_header_sg 0-1
HOST_DATA 0 vi->big_packets 1
HOST_DATA 0 vi->big_packets_num_skbfrags 1-17
HOST_DATA 0 vi->config_work.data.counter s64min-s64max
HOST_DATA 0 vi->curr_queue_pairs 0-u16max
HOST_DATA 0 vi->dev->num_napi_configs 1-u32max
HOST_DATA 0 vi->dev->num_rx_queues 1-u32max
HOST_DATA 0 vi->dev->num_tx_queues 1-u16max[c]
HOST_DATA 0 vi->dev->priv_len 0,8,12,16,24,32,40,48,64,80,104,112,128,144,152,168,216,224,232
HOST_DATA 0 vi->dev->real_num_rx_queues 1-u32max
HOST_DATA 0 vi->dev->real_num_tx_queues 1-u16max
HOST_DATA 0 vi->device_stats_cap 0-u64max
HOST_DATA 0 vi->duplex 0-255
HOST_DATA 0 vi->guest_offloads 0-u64max
HOST_DATA 0 vi->guest_offloads_capable 0-u64max
HOST_DATA 0 vi->has_cvq 0-1
HOST_DATA 0 vi->has_rss 0-1
HOST_DATA 0 vi->has_rss_hash_report 0-1
HOST_DATA 0 vi->intr_coal_rx.max_packets 0-u32max
HOST_DATA 0 vi->intr_coal_rx.max_usecs 0-u32max
HOST_DATA 0 vi->intr_coal_tx.max_packets 0-u32max
HOST_DATA 0 vi->intr_coal_tx.max_usecs 0-u32max
HOST_DATA 0 vi->max_queue_pairs 1-32768[c]
HOST_DATA 0 vi->mergeable_rx_bufs 0-1
HOST_DATA 0 vi->rss_hash_types_saved 0-u32max
HOST_DATA 0 vi->rss_hash_types_supported 0-u32max[c]
HOST_DATA 0 vi->rss_hdr->hash_types 0-u32max[c]
HOST_DATA 0 vi->rss_hdr->indirection_table_mask 0-65534[c]
HOST_DATA 0 vi->rss_indir_table_size 0-u16max
HOST_DATA 0 vi->rss_key_size 0-255[c]
HOST_DATA 0 vi->rss_trailer.hash_key_length 0-255
HOST_DATA 0 vi->rss_trailer.max_tx_vq 0-u16max
HOST_DATA 0 vi->rx_dim_enabled 0-1
HOST_DATA 0 vi->rx_mode_work.data.counter s64min-s64max
HOST_DATA 0 vi->rx_tnl 0-1
HOST_DATA 0 vi->rx_tnl_csum 0-1
HOST_DATA 0 vi->speed 0-u32max
HOST_DATA 0 vi->status 0-u32max
HOST_DATA 0 vi->tx_tnl 0-1
HOST_DATA 0 vi->xdp_enabled 0-1
HOST_DATA 0 vi->xdp_queue_pairs 0-u16max
HOST_DATA 0 *vi 0-u64max
NO_OVERFLOW_SIMPLE 0 vi->max_queue_pairs
LOCK2 global &rtnl_mutex

drivers/net/virtio_net.c virtnet_send_command() -> virtnet_send_command_reply()

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 1 class 0-6
PARAM_VALUE 2 cmd 0-2
PARAM_VALUE 3 out 0,4096-ptr_max
PARAM_VALUE 3 out->offset 0-4095
PARAM_VALUE 4 in 0
BUF_SIZE 0 vi s32min-(-1),1-s32max
BUF_SIZE 0 vi s32min-(-1),1-s32max
BUF_SIZE 0 vi->failover (-1),40
BUF_SIZE 0 vi->rss_hdr (-1),8-131078
BUF_SIZE 0 vi->rss_hdr->indirection_table (-1)-131070
BUF_SIZE 3 out (-1),64
BUF_SIZE 3 out (-1),64
DATA_SOURCE 0 vi $0
DATA_SOURCE 1 class $1
DATA_SOURCE 2 cmd $2
DATA_SOURCE 3 out $3
FUZZY_MAX 2 cmd 2
HARD_MAX 1 class 6
HARD_MAX 2 cmd 2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 vi->any_header_sg 0-1
HOST_DATA 0 vi->big_packets 1
HOST_DATA 0 vi->big_packets_num_skbfrags 1-17
HOST_DATA 0 vi->config_work.data.counter s64min-s64max
HOST_DATA 0 vi->curr_queue_pairs 0-u16max
HOST_DATA 0 vi->dev->num_napi_configs 1-u32max
HOST_DATA 0 vi->dev->num_rx_queues 1-u32max
HOST_DATA 0 vi->dev->num_tx_queues 1-u16max
HOST_DATA 0 vi->dev->priv_len 0,8,12,16,24,32,40,48,64,80,104,112,128,144,152,168,216,224,232
HOST_DATA 0 vi->dev->real_num_rx_queues 1-u32max
HOST_DATA 0 vi->dev->real_num_tx_queues 1-u16max
HOST_DATA 0 vi->device_stats_cap 0-u64max
HOST_DATA 0 vi->duplex 0-255
HOST_DATA 0 vi->guest_offloads 0-u64max
HOST_DATA 0 vi->guest_offloads_capable 0-u64max
HOST_DATA 0 vi->has_cvq 0-1
HOST_DATA 0 vi->has_rss 0-1
HOST_DATA 0 vi->has_rss_hash_report 0-1
HOST_DATA 0 vi->intr_coal_rx.max_packets 0-u32max
HOST_DATA 0 vi->intr_coal_rx.max_usecs 0-u32max
HOST_DATA 0 vi->intr_coal_tx.max_packets 0-u32max
HOST_DATA 0 vi->intr_coal_tx.max_usecs 0-u32max
HOST_DATA 0 vi->max_queue_pairs 1-32768[c]
HOST_DATA 0 vi->mergeable_rx_bufs 0-1
HOST_DATA 0 vi->rss_hash_types_saved 0-u32max
HOST_DATA 0 vi->rss_hash_types_supported 0-u32max[c]
HOST_DATA 0 vi->rss_hdr->hash_types 0-u32max[c]
HOST_DATA 0 vi->rss_hdr->indirection_table_mask 0-65534[c]
HOST_DATA 0 vi->rss_indir_table_size 0-u16max
HOST_DATA 0 vi->rss_key_size 0-255[c]
HOST_DATA 0 vi->rss_trailer.hash_key_length 0-255
HOST_DATA 0 vi->rss_trailer.max_tx_vq 0-u16max
HOST_DATA 0 vi->rx_dim_enabled 0-1
HOST_DATA 0 vi->rx_mode_work.data.counter s64min-s64max
HOST_DATA 0 vi->rx_tnl 0-1
HOST_DATA 0 vi->rx_tnl_csum 0-1
HOST_DATA 0 vi->speed 0-u32max
HOST_DATA 0 vi->status 0-u32max
HOST_DATA 0 vi->tx_tnl 0-1
HOST_DATA 0 vi->xdp_enabled 0-1
HOST_DATA 0 vi->xdp_queue_pairs 0-u16max
NO_OVERFLOW_SIMPLE 0 vi->max_queue_pairs
NO_OVERFLOW_SIMPLE 0 vi->rss_key_size
UNITS 0 vi unit_byte
USER_PTR 0 vi->rss_hash_key_data
HALF_LOCKED2 global &rtnl_mutex