efx_dev_registered 5715 drivers/net/ethernet/sfc/ef10.c 	if (!efx_dev_registered(efx))
efx_dev_registered 5794 drivers/net/ethernet/sfc/ef10.c 	if (efx_dev_registered(efx))
efx_dev_registered 2640 drivers/net/ethernet/sfc/efx.c 	if (efx_dev_registered(efx)) {
efx_dev_registered 2960 drivers/net/ethernet/sfc/farch.c 	if (!efx_dev_registered(efx))
efx_dev_registered  102 drivers/net/ethernet/sfc/mtd.c 	WARN_ON(efx_dev_registered(efx));