# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1558393186 -7200
# Node ID ce5d8320f4564963c13940a88e946a6b2ebd1bcd
# Parent  045069644a7e5678503addc7deec644733a3fd51
Updated libipc function naming.

diff -r 045069644a7e -r ce5d8320f456 server/src/main.cc
--- a/server/src/main.cc	Mon May 20 18:31:33 2019 +0200
+++ b/server/src/main.cc	Tue May 21 00:59:46 2019 +0200
@@ -106,7 +106,8 @@
 
     /* Obtain the dataspace and IRQ object. */
 
-    err = import_dataspace(msg, 0, &ds, (l4_addr_t *) &buffer) || import_capability(msg, 1, &irq);
+    err = ipc_message_import_dataspace(msg, 0, &ds, (l4_addr_t *) &buffer) ||
+          ipc_message_import_capability(msg, 1, &irq);
     if (err)
     {
       send_error(msg, -L4_EIO);
@@ -162,7 +163,7 @@
 
     /* Obtain the filesystem capability. */
 
-    err = import_capability(msg, 0, &server);
+    err = ipc_message_import_capability(msg, 0, &server);
     if (err)
     {
       send_error(msg, -L4_EIO);
@@ -171,7 +172,7 @@
 
     /* Obtain the dataspace. */
 
-    err = import_dataspace(msg, 1, &ds, (l4_addr_t *) &buffer);
+    err = ipc_message_import_dataspace(msg, 1, &ds, (l4_addr_t *) &buffer);
     if (err)
     {
       send_error(msg, -L4_EIO);