efx_ef10_mcdi_reboot_detected 2217 drivers/net/ethernet/sfc/ef10.c 	efx_ef10_mcdi_reboot_detected(efx);
efx_ef10_mcdi_reboot_detected 6637 drivers/net/ethernet/sfc/ef10.c 	.mcdi_reboot_detected = efx_ef10_mcdi_reboot_detected,
efx_ef10_mcdi_reboot_detected 6746 drivers/net/ethernet/sfc/ef10.c 	.mcdi_reboot_detected = efx_ef10_mcdi_reboot_detected,