Index: kernel/arch/ia32/include/arch/interrupt.h
===================================================================
--- kernel/arch/ia32/include/arch/interrupt.h	(revision d2f75eb31efa7109d60f52eb578fddc21c8d1e2d)
+++ kernel/arch/ia32/include/arch/interrupt.h	(revision 47e00b8364871fedb5a2508cfc367b91b0cb8e63)
@@ -51,4 +51,5 @@
 
 #define EXC_DE 0
+#define EXC_DB 1
 #define EXC_NM 7
 #define EXC_SS 12
@@ -73,4 +74,5 @@
 
 #define VECTOR_DE                 (IVT_EXCBASE + EXC_DE)
+#define VECTOR_DB                 (IVT_EXCBASE + EXC_DB)
 #define VECTOR_NM                 (IVT_EXCBASE + EXC_NM)
 #define VECTOR_SS                 (IVT_EXCBASE + EXC_SS)