/linux/src/arch/i386/kernel/

• ../
• bios32.c
• irq.c