ef4_farch_msi_interrupt
.irq_handle_msi = ef4_farch_msi_interrupt,
irqreturn_t ef4_farch_msi_interrupt(int irq, void *dev_id);