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