T119: implement syscall and monitor interface to debug_print_capabilities

[barrelfish] / include / barrelfish / syscalls.h

diff --git a/include/barrelfish/syscalls.h b/include/barrelfish/syscalls.h
index 9a72da3..9ab5205 100644 (file)
--- a/include/barrelfish/syscalls.h
+++ b/include/barrelfish/syscalls.h
@@ -59,6 +59,12 @@ errval_t sys_print(const char *string, size_t length);
  * \brief get time elapsed since system boot.
  */
 uint64_t sys_get_absolute_time(void);
+
+/**
+ * \brief Print capability information.
+ */
+errval_t
+sys_debug_print_capabilities(void);
 __END_DECLS
 
 #endif //LIBBARRELFISH_SYSCALL_H