T119: implement syscall and monitor interface to debug_print_capabilities
[barrelfish] / include / barrelfish / monitor_client.h
index 06e96e1..e03d7f1 100644 (file)
@@ -4,7 +4,7 @@
  */
 
 /*
- * Copyright (c) 2010, ETH Zurich.
+ * Copyright (c) 2010, 2011, ETH Zurich.
  * All rights reserved.
  *
  * This file is distributed under the terms in the attached LICENSE 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 */
@@ -41,4 +45,10 @@ errval_t monitor_client_new_binding(monitor_bind_cont_fn *cont, void *st,
 
 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