Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/net/virtio_net.c virtnet_set_coalesce() -> virtnet_coal_params_supported()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ec | 4759507632451665920,5726635148511264768 |
| DATA_SOURCE | 0 | ec | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ec->cmd | 0-u32max |
| USER_DATA | 0 | ec->pkt_rate_high | 0-u32max |
| USER_DATA | 0 | ec->pkt_rate_low | 0-u32max |
| USER_DATA | 0 | ec->rate_sample_interval | 0-u32max |
| USER_DATA | 0 | ec->rx_coalesce_usecs | 0-u32max |
| USER_DATA | 0 | ec->rx_coalesce_usecs_high | 0-u32max |
| USER_DATA | 0 | ec->rx_coalesce_usecs_irq | 0-u32max |
| USER_DATA | 0 | ec->rx_coalesce_usecs_low | 0-u32max |
| USER_DATA | 0 | ec->rx_max_coalesced_frames | 0-u32max |
| USER_DATA | 0 | ec->rx_max_coalesced_frames_high | 0-u32max |
| USER_DATA | 0 | ec->rx_max_coalesced_frames_irq | 0-u32max |
| USER_DATA | 0 | ec->rx_max_coalesced_frames_low | 0-u32max |
| USER_DATA | 0 | ec->stats_block_coalesce_usecs | 0-u32max |
| USER_DATA | 0 | ec->tx_coalesce_usecs | 0-u32max |
| USER_DATA | 0 | ec->tx_coalesce_usecs_high | 0-u32max |
| USER_DATA | 0 | ec->tx_coalesce_usecs_irq | 0-u32max |
| USER_DATA | 0 | ec->tx_coalesce_usecs_low | 0-u32max |
| USER_DATA | 0 | ec->tx_max_coalesced_frames | 0-u32max |
| USER_DATA | 0 | ec->tx_max_coalesced_frames_high | 0-u32max |
| USER_DATA | 0 | ec->tx_max_coalesced_frames_irq | 0-u32max |
| USER_DATA | 0 | ec->tx_max_coalesced_frames_low | 0-u32max |
| USER_DATA | 0 | ec->use_adaptive_rx_coalesce | 0-u32max |
| USER_DATA | 0 | ec->use_adaptive_tx_coalesce | 0-u32max |
drivers/net/virtio_net.c virtnet_set_per_queue_coalesce() -> virtnet_coal_params_supported()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ec | 4096-ptr_max |
| DATA_SOURCE | 0 | ec | $2 |
| USER_DATA | 0 | ec->cmd | 0-u32max |
| USER_DATA | 0 | ec->pkt_rate_high | 0-u32max |
| USER_DATA | 0 | ec->pkt_rate_low | 0-u32max |
| USER_DATA | 0 | ec->rate_sample_interval | 0-u32max |
| USER_DATA | 0 | ec->rx_coalesce_usecs | 0-u32max |
| USER_DATA | 0 | ec->rx_coalesce_usecs_high | 0-u32max |
| USER_DATA | 0 | ec->rx_coalesce_usecs_irq | 0-u32max |
| USER_DATA | 0 | ec->rx_coalesce_usecs_low | 0-u32max |
| USER_DATA | 0 | ec->rx_max_coalesced_frames | 0-u32max |
| USER_DATA | 0 | ec->rx_max_coalesced_frames_high | 0-u32max |
| USER_DATA | 0 | ec->rx_max_coalesced_frames_irq | 0-u32max |
| USER_DATA | 0 | ec->rx_max_coalesced_frames_low | 0-u32max |
| USER_DATA | 0 | ec->stats_block_coalesce_usecs | 0-u32max |
| USER_DATA | 0 | ec->tx_coalesce_usecs | 0-u32max |
| USER_DATA | 0 | ec->tx_coalesce_usecs_high | 0-u32max |
| USER_DATA | 0 | ec->tx_coalesce_usecs_irq | 0-u32max |
| USER_DATA | 0 | ec->tx_coalesce_usecs_low | 0-u32max |
| USER_DATA | 0 | ec->tx_max_coalesced_frames | 0-u32max |
| USER_DATA | 0 | ec->tx_max_coalesced_frames_high | 0-u32max |
| USER_DATA | 0 | ec->tx_max_coalesced_frames_irq | 0-u32max |
| USER_DATA | 0 | ec->tx_max_coalesced_frames_low | 0-u32max |
| USER_DATA | 0 | ec->use_adaptive_rx_coalesce | 0-u32max |
| USER_DATA | 0 | ec->use_adaptive_tx_coalesce | 0-u32max |
| HALF_LOCKED2 | global &rtnl_mutex |