T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / kernel / include / capabilities.h
index 6eff5e4..bb20376 100644 (file)
@@ -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
  */