headers/private/kernel/interrupts.h src/system/boot/platform/bios_ia32/interrupts.h src/system/kernel/arch/x86/32/interrupts.h
