T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / include / barrelfish / monitor_client.h
index c2e339e..e03d7f1 100644 (file)
 #ifndef BARRELFISH_MONITOR_CLIENT_H
 #define BARRELFISH_MONITOR_CLIENT_H
 
+#include <sys/cdefs.h>
+
+__BEGIN_DECLS
+
 struct monitor_lmp_binding;
 
 /// Handlers for incoming/outgoing capabilities on the monitor binding
@@ -43,4 +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