VECTOR_DEBUG_IPI 84 kernel/arch/amd64/include/arch/interrupt.h #define VECTOR_DEBUG_IPI (IVT_FREEBASE + 2) VECTOR_DEBUG_IPI 88 kernel/arch/ia32/include/arch/interrupt.h #define VECTOR_DEBUG_IPI (IVT_FREEBASE + 2)