#ifndef _UMP_BINDING_SERVER_H_ #define _UMP_BINDING_SERVER_H_ #include errval_t ump_binding_register_service_global (enum ump_server_id server_id, coreid_t coreid); errval_t ump_binding_get_global (enum ump_server_id server_id, coreid_t *coreid); errval_t ump_binding_register_service ( enum ump_server_id server_id, struct capref accept_ep_cap, struct capref *reply_ep_cap ); errval_t ump_binding_connect ( enum ump_server_id server_id, struct capref *ret_cap, void (*callback)(void *arg, errval_t err), void *callback_arg ); #endif /* _UMP_BINDING_SERVER_H_ */