/kernel/trunk/arch/ia32/src/smp/apic.c |
---|
171,7 → 171,9 |
*/ |
void apic_spurious(int n, istate_t *istate) |
{ |
#ifdef CONFIG_DEBUG |
printf("cpu%d: APIC spurious interrupt\n", CPU->id); |
#endif |
} |
/** Poll for APIC errors. |
/kernel/trunk/arch/ia32/src/drivers/i8259.c |
---|
120,5 → 120,7 |
void pic_spurious(int n, istate_t *istate) |
{ |
#ifdef CONFIG_DEBUG |
printf("cpu%d: PIC spurious interrupt\n", CPU->id); |
#endif |
} |