T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / kernel / include / syscall.h
index ae6c9c0..250e8b4 100644 (file)
@@ -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