Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/amd/xgbe/xgbe-drv.c xgbe_service() -> (struct xgbe_phy_if)->phy_status()

Type Parameter Key Value
PARAM_VALUE 0 pdata 4096-ptr_max
CONTAINER 0 -40-1184+0 $(-1)
NOCHECK_CALL
HALF_LOCKED2 &pool->lock