Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/virtio_net.c virtnet_set_per_queue_coalesce() -> virtnet_send_notf_coal_vq_cmds()

Type Parameter Key Value
PARAM_VALUE 0 vi 4096-ptr_max
PARAM_VALUE 0 vi->max_queue_pairs 1-u16max
PARAM_VALUE 0 vi->sq 4096-ptr_max
PARAM_VALUE 1 ec 4096-ptr_max
PARAM_VALUE 2 queue 0-64
CAPPED_DATA 2 queue 1
DATA_SOURCE 1 ec $2
DATA_SOURCE 2 queue $1
PARAM_COMPARE 2 queue < $0->max_queue_pairs
USER_DATA 1 ec->cmd 0-u32max
USER_DATA 1 ec->pkt_rate_high 0-u32max
USER_DATA 1 ec->pkt_rate_low 0-u32max
USER_DATA 1 ec->rate_sample_interval 0-u32max
USER_DATA 1 ec->rx_coalesce_usecs 0-u32max
USER_DATA 1 ec->rx_coalesce_usecs_high 0-u32max
USER_DATA 1 ec->rx_coalesce_usecs_irq 0-u32max
USER_DATA 1 ec->rx_coalesce_usecs_low 0-u32max
USER_DATA 1 ec->rx_max_coalesced_frames 0-u32max
USER_DATA 1 ec->rx_max_coalesced_frames_high 0-u32max
USER_DATA 1 ec->rx_max_coalesced_frames_irq 0-u32max
USER_DATA 1 ec->rx_max_coalesced_frames_low 0-u32max
USER_DATA 1 ec->stats_block_coalesce_usecs 0-u32max
USER_DATA 1 ec->tx_coalesce_usecs 0-u32max
USER_DATA 1 ec->tx_coalesce_usecs_high 0-u32max
USER_DATA 1 ec->tx_coalesce_usecs_irq 0-u32max
USER_DATA 1 ec->tx_coalesce_usecs_low 0-u32max
USER_DATA 1 ec->tx_max_coalesced_frames 0-u32max
USER_DATA 1 ec->tx_max_coalesced_frames_high 0-u32max
USER_DATA 1 ec->tx_max_coalesced_frames_irq 0-u32max
USER_DATA 1 ec->tx_max_coalesced_frames_low 0-u32max
USER_DATA 1 ec->use_adaptive_rx_coalesce 0-u32max
USER_DATA 1 ec->use_adaptive_tx_coalesce 0-u32max
UNITS 2 queue unit_array_size
HALF_LOCKED2 global &rtnl_mutex