Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/amd/xgbe/xgbe-drv.c xgbe_restart_dev() -> xgbe_free_tx_data()

Type Parameter Key Value
PARAM_VALUE 0 pdata 4096-ptr_max
PARAM_VALUE 0 pdata->netdev 4096-ptr_max
PARAM_VALUE 0 pdata->vdata->ecc_support 0-1
DATA_SOURCE 0 pdata $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 pdata->rx_buf_size 1536-4096[c]
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/amd/xgbe/xgbe-drv.c xgbe_stopdev() -> xgbe_free_tx_data()

Type Parameter Key Value
PARAM_VALUE 0 pdata 4096-ptr_max
PARAM_VALUE 0 pdata->vdata->ecc_support 0-1
NOCHECK_CALL
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &pool->lock