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,