efx_farch_fatal_interrupt 1539 drivers/net/ethernet/sfc/farch.c 			return efx_farch_fatal_interrupt(efx);
efx_farch_fatal_interrupt 1612 drivers/net/ethernet/sfc/farch.c 			return efx_farch_fatal_interrupt(efx);
efx_farch_fatal_interrupt  639 drivers/net/ethernet/sfc/nic.h irqreturn_t efx_farch_fatal_interrupt(struct efx_nic *efx);