diff --git a/arch/x86/kernel/irq.c b/arch/x86/kernel/irq.c index 413c2932..2fb0347d 100644 --- a/arch/x86/kernel/irq.c +++ b/arch/x86/kernel/irq.c @@ -235,9 +235,7 @@ void irq_handler(struct state *s) void (*handler) (struct state * s); // at first, we check our work queues -// if( s->int_no == 124 ) { - check_workqueues(); -// } + check_workqueues(); /* * Find out if we have a custom handler to run for this @@ -258,6 +256,7 @@ void irq_handler(struct state *s) return; } +#ifndef CONFIG_ROCKCREEK /* * If the IDT entry that was invoked was greater-than-or-equal to 40 * and lower than 48 (meaning IRQ8 - 15), then we need to @@ -271,4 +270,7 @@ void irq_handler(struct state *s) * interrupt controller of the PIC, too */ outportb(0x20, 0x20); +#else + kprintf("Upps, RockCreek uses IRQs below 123!\n"); +#endif }