Symbol: ef4_dev_registered
drivers/net/ethernet/sfc/falcon/efx.c
2321
if (ef4_dev_registered(efx)) {
drivers/net/ethernet/sfc/falcon/farch.c
2833
if (!ef4_dev_registered(efx))
drivers/net/ethernet/sfc/falcon/mtd.c
99
WARN_ON(ef4_dev_registered(efx));