Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/fm10k/fm10k_ethtool.c fm10k_get_ethtool_stats() -> __fm10k_add_ethtool_stats()

Type Parameter Key Value
PARAM_VALUE 1 pointer 4096-ptr_max
PARAM_VALUE 3 size 10
BUF_SIZE 1 pointer 184
BUF_SIZE 2 stats 400
NOCHECK_CALL

drivers/net/ethernet/intel/fm10k/fm10k_ethtool.c fm10k_get_ethtool_stats() -> __fm10k_add_ethtool_stats()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 *data 4097-u64max
PARAM_VALUE 0 *(*data) 4097-u64max
PARAM_VALUE 1 pointer 4096-ptr_max
PARAM_VALUE 3 size 17
BUF_SIZE 2 stats 680
NOCHECK_CALL

drivers/net/ethernet/intel/fm10k/fm10k_ethtool.c fm10k_get_ethtool_stats() -> __fm10k_add_ethtool_stats()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 *data 4098-u64max
PARAM_VALUE 0 *(*data) 4098-u64max
PARAM_VALUE 1 pointer 4096-ptr_max
PARAM_VALUE 3 size 9
BUF_SIZE 1 pointer 2792
BUF_SIZE 2 stats 360
NOCHECK_CALL

drivers/net/ethernet/intel/fm10k/fm10k_ethtool.c fm10k_get_ethtool_stats() -> __fm10k_add_ethtool_stats()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 *data 4099-u64max
PARAM_VALUE 0 *(*data) 4099-u64max
PARAM_VALUE 1 pointer 4096-ptr_max
PARAM_VALUE 3 size 8
BUF_SIZE 2 stats 320
NOCHECK_CALL

drivers/net/ethernet/intel/fm10k/fm10k_ethtool.c fm10k_get_ethtool_stats() -> __fm10k_add_ethtool_stats()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 *data 4099-u64max
PARAM_VALUE 0 *(*data) 4099-u64max
PARAM_VALUE 3 size 2
BUF_SIZE 2 stats 80
NOCHECK_CALL

drivers/net/ethernet/intel/fm10k/fm10k_ethtool.c fm10k_get_ethtool_stats() -> __fm10k_add_ethtool_stats()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 0 *data 4100-u64max
PARAM_VALUE 0 *(*data) 4100-u64max
PARAM_VALUE 3 size 2
BUF_SIZE 2 stats 80
NOCHECK_CALL