T119: implement syscall and monitor interface to debug_print_capabilities

[barrelfish] / include / barrelfish_kpi / syscalls.h

diff --git a/include/barrelfish_kpi/syscalls.h b/include/barrelfish_kpi/syscalls.h
index 0825075..96a55f3 100644 (file)
--- a/include/barrelfish_kpi/syscalls.h
+++ b/include/barrelfish_kpi/syscalls.h
@@ -62,7 +62,9 @@ struct sysret {
 #define SYSCALL_SUSPEND             9     ///< Suspend the CPU
 #define SYSCALL_GET_ABS_TIME        10    ///< Get time elapsed since boot
 
-#define SYSCALL_COUNT               11     ///< Number of syscalls [0..SYSCALL_COUNT - 1]
+#define SYSCALL_DEBUG_PRINT_CAPABILITIES 11
+
+#define SYSCALL_COUNT               12     ///< Number of syscalls [0..SYSCALL_COUNT - 1]
 
 /*
  * To understand system calls it might be helpful to know that there