Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/ef100_nic.c ef100_update_stats() -> ef100_update_stats_common()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->nic_data 4096-ptr_max
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 0 efx s32min-(-1),1-s32max
BUF_SIZE 1 full_stats (-1),8-2147483640
BUF_SIZE 1 full_stats (-1),8-2147483640
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 full_stats $1
DATA_SOURCE 2 core_stats $2
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 efx->pci_dev->current_state 0-3[c]
NO_OVERFLOW_SIMPLE 0 efx->num_mac_stats
NO_OVERFLOW_SIMPLE 0 efx->type->max_rx_ip_filters
USER_PTR 2 core_stats
LOCK2 bh
LOCK2 0 &efx->stats_lock
TYPE_LOCK (struct efx_nic)->stats_lock