T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / include / barrelfish / monitor_client.h
index 9109b6e..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
 struct monitor_cap_handlers {
     void *st; ///< state pointer passed to handler functions
-    void (*cap_receive_handler)(void *st, struct capref cap, uint32_t capid);
-    void (*cap_send_reply_handler)(void *st, uint32_t capid, errval_t success);
+    void (*cap_receive_handler)(void *st, errval_t success, struct capref cap,
+                                uint32_t capid);
 };
 
 /* XXX: duplicate of monitor_bind_continuation_fn in generated code */
@@ -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