T119: implement syscall and monitor interface to debug_print_capabilities

[barrelfish] / include / barrelfish / monitor_client.h

diff --git a/include/barrelfish/monitor_client.h b/include/barrelfish/monitor_client.h
index 482e3de..e03d7f1 100644 (file)
--- a/include/barrelfish/monitor_client.h
+++ b/include/barrelfish/monitor_client.h
@@ -47,6 +47,8 @@ errval_t monitor_client_blocking_rpc_init(void);
 
 errval_t monitor_cap_set_remote(struct capref cap, bool remote);
 
+errval_t monitor_debug_print_cababilities(void);
+
 __END_DECLS
 
 #endif // BARRELFISH_MONITOR_CLIENT_H