Index: arch/amd64/include/debugger.h
===================================================================
--- arch/amd64/include/debugger.h	(revision 4e49572dad56d20917516259581d99e2ff0d8c6c)
+++ arch/amd64/include/debugger.h	(revision 81c4c6dada72dd5c14ac33cf62aedf58dc032b06)
@@ -43,5 +43,5 @@
 
 extern void debugger_init(void);
-extern int breakpoint_add(void * where, int flags);
+extern int breakpoint_add(void * where, int flags, int curidx);
 extern void breakpoint_del(int slot);
 
Index: arch/amd64/include/interrupt.h
===================================================================
--- arch/amd64/include/interrupt.h	(revision 4e49572dad56d20917516259581d99e2ff0d8c6c)
+++ arch/amd64/include/interrupt.h	(revision 81c4c6dada72dd5c14ac33cf62aedf58dc032b06)
@@ -61,4 +61,5 @@
 #define VECTOR_TLB_SHOOTDOWN_IPI	(IVT_FREEBASE+0)
 #define VECTOR_WAKEUP_IPI		(IVT_FREEBASE+1)
+#define VECTOR_DEBUG_IPI                (IVT_FREEBASE+2)
 
 /** This is passed to interrupt handlers */