ef4_dev_registered 2341 drivers/net/ethernet/sfc/falcon/efx.c 	if (ef4_dev_registered(efx)) {
ef4_dev_registered 2864 drivers/net/ethernet/sfc/falcon/farch.c 	if (!ef4_dev_registered(efx))
ef4_dev_registered   99 drivers/net/ethernet/sfc/falcon/mtd.c 	WARN_ON(ef4_dev_registered(efx));