3 * \brief Client for interacting with the monitor
7 * Copyright (c) 2010, 2011, ETH Zurich.
10 * This file is distributed under the terms in the attached LICENSE file.
11 * If you do not find this file, copies can be found by writing to:
12 * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
15 #ifndef BARRELFISH_MONITOR_CLIENT_H
16 #define BARRELFISH_MONITOR_CLIENT_H
18 #include <sys/cdefs.h>
22 struct monitor_lmp_binding;
24 /// Handlers for incoming/outgoing capabilities on the monitor binding
25 struct monitor_cap_handlers {
26 void *st; ///< state pointer passed to handler functions
27 void (*cap_receive_handler)(void *st, errval_t success, struct capref cap,
31 /* XXX: duplicate of monitor_bind_continuation_fn in generated code */
32 typedef void monitor_bind_cont_fn(void *st, errval_t err,
33 struct monitor_binding *_binding);
35 errval_t monitor_client_lmp_bind(struct monitor_lmp_binding *mcb,
36 monitor_bind_cont_fn *cont, void *st,
37 struct waitset *ws, size_t lmp_buflen_words);
39 errval_t monitor_client_lmp_accept(struct monitor_lmp_binding *mcb,
40 struct waitset *ws, size_t lmp_buflen_words);
42 errval_t monitor_client_new_binding(monitor_bind_cont_fn *cont, void *st,
43 struct waitset *ws, size_t lmp_buflen_words);
46 errval_t monitor_client_blocking_rpc_init(void);
48 errval_t monitor_cap_set_remote(struct capref cap, bool remote);
50 errval_t monitor_debug_print_cababilities(void);
54 #endif // BARRELFISH_MONITOR_CLIENT_H