/kernel/trunk/arch/ia32/src/interrupt.c |
---|
201,8 → 201,8 |
{ |
if (irq == IRQ_CLK) |
return; |
trap_virtual_enable_irqs(1 << irq); |
exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int); |
trap_virtual_enable_irqs(1 << irq); |
} |
/** @} |
/kernel/trunk/arch/amd64/src/interrupt.c |
---|
168,8 → 168,8 |
static void ipc_int(int n, istate_t *istate) |
{ |
trap_virtual_eoi(); |
ipc_irq_send_notif(n-IVT_IRQBASE); |
trap_virtual_eoi(); |
} |
179,7 → 179,6 |
if (irq == IRQ_CLK) |
return; |
exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int); |
trap_virtual_enable_irqs(1 << irq); |
} |
/** @} |