efx_ef10_get_warm_boot_count  683 drivers/net/ethernet/sfc/ef10.c 		rc = efx_ef10_get_warm_boot_count(efx);
efx_ef10_get_warm_boot_count 2203 drivers/net/ethernet/sfc/ef10.c 	rc = efx_ef10_get_warm_boot_count(efx);
efx_ef10_get_warm_boot_count 3368 drivers/net/ethernet/sfc/ef10.c 					rc = efx_ef10_get_warm_boot_count(efx);