T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / include / barrelfish_kpi / syscalls.h
index 0c56dcf..96a55f3 100644 (file)
@@ -17,6 +17,9 @@
 
 #ifndef __ASSEMBLER__
 
+#include <stdint.h>
+#include <errors/errno.h>
+
 /// return type from a system call: two words
 struct sysret {
     errval_t  error;
@@ -57,8 +60,11 @@ struct sysret {
 
 #define SYSCALL_X86_RELOAD_LDT      8     ///< Reload the LDT register (x86_64)
 #define SYSCALL_SUSPEND             9     ///< Suspend the CPU
+#define SYSCALL_GET_ABS_TIME        10    ///< Get time elapsed since boot
+
+#define SYSCALL_DEBUG_PRINT_CAPABILITIES 11
 
-#define SYSCALL_COUNT               10     ///< Number of syscalls [0..SYSCALL_COUNT - 1]
+#define SYSCALL_COUNT               12     ///< Number of syscalls [0..SYSCALL_COUNT - 1]
 
 /*
  * To understand system calls it might be helpful to know that there