EXC_DE 74 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_DE (IVT_EXCBASE + EXC_DE) EXC_DE 76 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_DE (IVT_EXCBASE + EXC_DE)