Changes for nameservice. Use RPC client for NS functionality.

[barrelfish] / lib / barrelfish / domain.c

diff --git a/lib/barrelfish/domain.c b/lib/barrelfish/domain.c
index b763347..a63c249 100644 (file)
--- a/lib/barrelfish/domain.c
+++ b/lib/barrelfish/domain.c
@@ -1088,7 +1088,7 @@ struct skb_state *get_skb_state(void)
 /**
  * \brief Returns a pointer to the chips_context state on the dispatcher priv
  */
-struct nameservice_rpc_client *get_nameservice_rpc_client(void)
+struct dist2_rpc_client *get_nameservice_rpc_client(void)
 {
     dispatcher_handle_t handle = curdispatcher();
     struct dispatcher_generic* disp = get_dispatcher_generic(handle);
@@ -1098,7 +1098,7 @@ struct nameservice_rpc_client *get_nameservice_rpc_client(void)
 /**
  * \brief set the chips_context state on the dispatcher priv
  */
-void set_nameservice_rpc_client(struct nameservice_rpc_client *c)
+void set_nameservice_rpc_client(struct dist2_rpc_client *c)
 {
     dispatcher_handle_t handle = curdispatcher();
     struct dispatcher_generic* disp = get_dispatcher_generic(handle);