T119: implement syscall and monitor interface to debug_print_capabilities

[barrelfish] / lib / barrelfish / monitor_client.c

diff --git a/lib/barrelfish/monitor_client.c b/lib/barrelfish/monitor_client.c
index 41d0ee1..e075466 100644 (file)
--- a/lib/barrelfish/monitor_client.c
+++ b/lib/barrelfish/monitor_client.c
@@ -406,3 +406,13 @@ errval_t monitor_client_blocking_rpc_init(void)
     
     return st.err;
 }
+
+errval_t monitor_debug_print_cababilities(void)
+{
+    errval_t err;
+
+    struct monitor_binding *mb = get_monitor_binding();
+    err = mb->tx_vtbl.debug_print_capabilities(mb, NOP_CONT);
+
+    return err;
+}