T119: implement syscall and monitor interface to debug_print_capabilities

[barrelfish] / kernel / include / syscall.h

diff --git a/kernel/include/syscall.h b/kernel/include/syscall.h
index ae6c9c0..250e8b4 100644 (file)
--- a/kernel/include/syscall.h
+++ b/kernel/include/syscall.h
@@ -113,4 +113,10 @@ struct sysret sys_monitor_clear_step(capaddr_t ret_cn_addr,
                                      uint8_t ret_cn_bits,
                                      cslot_t ret_slot);
 
+/*
+ * System calls for debug output.
+ */
+struct sysret
+sys_debug_print_capabilities(void);
+
 #endif