/trunk/kernel/arch/xen32/src/interrupt.c |
---|
194,15 → 194,5 |
trap_virtual_eoi(); |
} |
/* Reregister irq to be IPC-ready */ |
void irq_ipc_bind_arch(unative_t irq) |
{ |
if (irq == IRQ_CLK) |
return; |
exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int); |
trap_virtual_enable_irqs(1 << irq); |
} |
/** @} |
*/ |
/trunk/kernel/arch/ia64/src/interrupt.c |
---|
259,17 → 259,5 |
} |
} |
/* Reregister irq to be IPC-ready */ |
void irq_ipc_bind_arch(unative_t irq) |
{ |
if(irq == IRQ_KBD) { |
kbd_uspace = 1; |
return; |
} |
return; |
panic("not implemented\n"); |
/* TODO */ |
} |
/** @} |
*/ |
/trunk/kernel/arch/amd64/src/interrupt.c |
---|
172,15 → 172,5 |
trap_virtual_eoi(); |
} |
/* Reregister irq to be IPC-ready */ |
void irq_ipc_bind_arch(unative_t irq) |
{ |
if (irq == IRQ_CLK) |
return; |
exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int); |
trap_virtual_enable_irqs(1 << irq); |
} |
/** @} |
*/ |
/trunk/kernel/arch/ia32/src/interrupt.c |
---|
195,16 → 195,5 |
trap_virtual_eoi(); |
} |
/* Reregister irq to be IPC-ready */ |
void irq_ipc_bind_arch(unative_t irq) |
{ |
if (irq == IRQ_CLK) |
return; |
exc_register(IVT_IRQBASE+irq, "ipc_int", ipc_int); |
trap_virtual_enable_irqs(1 << irq); |
} |
/** @} |
*/ |