../../ia32/src/interrupt.c