Changes in kernel/arch/amd64/include/debugger.h [dc0b964:7f043c0] in mainline

File:

• kernel/arch/amd64/include/debugger.h (modified) (1 diff)

kernel/arch/amd64/include/debugger.h

@@ -36 +36 @@
 #define KERN_amd64_DEBUGGER_H_
 
-#include <typedefs.h>
+#include <arch/types.h>
 
-#define BKPOINTS_MAX  4
+#define BKPOINTS_MAX 4
 
 /* Flags that are passed to breakpoint_add function */
-#define BKPOINT_INSTR       0x1U
-#define BKPOINT_WRITE       0x2U
-#define BKPOINT_READ_WRITE  0x4U
+#define BKPOINT_INSTR        0x1
+#define BKPOINT_WRITE        0x2 
+#define BKPOINT_READ_WRITE   0x4
 
-#define BKPOINT_CHECK_ZERO  0x8U
+#define BKPOINT_CHECK_ZERO   0x8
 
 
 extern void debugger_init(void);
-extern int breakpoint_add(const void *, const unsigned int, int);
-extern void breakpoint_del(int);
+extern int breakpoint_add(const void *where, const int flags, int curidx);
+extern void breakpoint_del(int slot);
 
 #endif