T119: implement syscall and monitor interface to debug_print_capabilities

[barrelfish] / kernel / include / capabilities.h

diff --git a/kernel/include/capabilities.h b/kernel/include/capabilities.h
index 6eff5e4..bb20376 100644 (file)
--- a/kernel/include/capabilities.h
+++ b/kernel/include/capabilities.h
@@ -120,6 +120,12 @@ errval_t caps_delete(struct cte *cte);
 errval_t caps_revoke(struct cte *cte);
 
 /*
+ * Cap debugging
+ */
+
+errval_t caps_debug_print(struct cte *cte);
+
+/*
  * Cap tracing
  */