ef4_farch_interrupts 1423 drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_interrupts(efx, true, false); ef4_farch_interrupts 1429 drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_interrupts(efx, false, false); ef4_farch_interrupts 1438 drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_interrupts(efx, true, true);