Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/i40e/i40e_main.c i40e_update_eth_stats() -> i40e_stats_update_rx_discards()

Type Parameter Key Value
PARAM_VALUE 0 vsi 4096-ptr_max
PARAM_VALUE 0 vsi->eth_stats.rx_broadcast 0-281474976710655
PARAM_VALUE 0 vsi->eth_stats.rx_bytes 0-281474976710655
PARAM_VALUE 0 vsi->eth_stats.rx_multicast 0-281474976710655
PARAM_VALUE 0 vsi->eth_stats.rx_unicast 0-281474976710655
PARAM_VALUE 0 vsi->eth_stats.rx_unknown_protocol 0-u32max
PARAM_VALUE 0 vsi->eth_stats.tx_broadcast 0-281474976710655
PARAM_VALUE 0 vsi->eth_stats.tx_bytes 0-281474976710655
PARAM_VALUE 0 vsi->eth_stats.tx_errors 0-u32max
PARAM_VALUE 0 vsi->eth_stats.tx_multicast 0-281474976710655
PARAM_VALUE 0 vsi->eth_stats.tx_unicast 0-281474976710655
PARAM_VALUE 0 vsi->eth_stats_offsets.rx_unknown_protocol 0-u32max
PARAM_VALUE 0 vsi->eth_stats_offsets.tx_errors 0-u32max
PARAM_VALUE 1 hw 4096-ptr_max
PARAM_VALUE 2 stat_idx 0-u16max
PARAM_VALUE 4 stat_offset 4096-ptr_max
PARAM_VALUE 4 stat_offset->rx_unknown_protocol 0-u32max
PARAM_VALUE 4 stat_offset->tx_errors 0-u32max
PARAM_VALUE 5 stat 4096-ptr_max
PARAM_VALUE 5 stat->rx_broadcast 0-281474976710655
PARAM_VALUE 5 stat->rx_bytes 0-281474976710655
PARAM_VALUE 5 stat->rx_multicast 0-281474976710655
PARAM_VALUE 5 stat->rx_unicast 0-281474976710655
PARAM_VALUE 5 stat->rx_unknown_protocol 0-u32max
PARAM_VALUE 5 stat->tx_broadcast 0-281474976710655
PARAM_VALUE 5 stat->tx_bytes 0-281474976710655
PARAM_VALUE 5 stat->tx_errors 0-u32max
PARAM_VALUE 5 stat->tx_multicast 0-281474976710655
PARAM_VALUE 5 stat->tx_unicast 0-281474976710655
BUF_SIZE 1 hw 1904
BUF_SIZE 4 stat_offset 104
BUF_SIZE 5 stat 104
DATA_SOURCE 0 vsi $0
PARAM_COMPARE 0 &vsi->eth_stats == $5
PARAM_COMPARE 0 &vsi->eth_stats_offsets == $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 vsi->back->stats_offsets.crc_errors 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.rx_broadcast 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.rx_bytes 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.rx_discards 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.rx_multicast 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.rx_unicast 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.tx_broadcast 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.tx_bytes 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.tx_multicast 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.eth.tx_unicast 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.illegal_bytes 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.link_xoff_rx 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.link_xoff_tx 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.link_xon_rx 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.link_xon_tx 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.mac_local_faults 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.mac_remote_faults 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_fragments 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_jabber 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_length_errors 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_lpi_count 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_oversize 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_size_1023 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_size_127 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_size_1522 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_size_255 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_size_511 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_size_64 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_size_big 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.rx_undersize 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_dropped_link_down 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_lpi_count 0-u32max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_size_1023 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_size_127 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_size_1522 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_size_255 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_size_511 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_size_64 0-u64max[c]
HOST_DATA 0 vsi->back->stats_offsets.tx_size_big 0-u64max[c]
HOST_DATA 4 stat_offset->rx_broadcast 0-u64max[c]
HOST_DATA 4 stat_offset->rx_bytes 0-u64max[c]
HOST_DATA 4 stat_offset->rx_multicast 0-u64max[c]
HOST_DATA 4 stat_offset->rx_unicast 0-u64max[c]
HOST_DATA 4 stat_offset->rx_unknown_protocol 0-u32max[c]
HOST_DATA 4 stat_offset->tx_broadcast 0-u64max[c]
HOST_DATA 4 stat_offset->tx_bytes 0-u64max[c]
HOST_DATA 4 stat_offset->tx_errors 0-u32max[c]
HOST_DATA 4 stat_offset->tx_multicast 0-u64max[c]
HOST_DATA 4 stat_offset->tx_unicast 0-u64max[c]
HOST_DATA 5 stat->rx_unknown_protocol 0-u32max
HOST_DATA 5 stat->tx_errors 0-u32max
HALF_LOCKED2 &pool->lock