void ip32_irq4(struct pt_regs *regs) { ip32_unknown_interrupt(regs); }
static void ip32_irq4(void) { ip32_unknown_interrupt(); }
void ip32_irq4(struct pt_regs *regs) { ip32_unknown_interrupt(regs); }
static void ip32_irq4(void) { ip32_unknown_interrupt(); }