1.1 --- a/server/src/main.cc Mon May 20 18:31:33 2019 +0200
1.2 +++ b/server/src/main.cc Tue May 21 00:59:46 2019 +0200
1.3 @@ -106,7 +106,8 @@
1.4
1.5 /* Obtain the dataspace and IRQ object. */
1.6
1.7 - err = import_dataspace(msg, 0, &ds, (l4_addr_t *) &buffer) || import_capability(msg, 1, &irq);
1.8 + err = ipc_message_import_dataspace(msg, 0, &ds, (l4_addr_t *) &buffer) ||
1.9 + ipc_message_import_capability(msg, 1, &irq);
1.10 if (err)
1.11 {
1.12 send_error(msg, -L4_EIO);
1.13 @@ -162,7 +163,7 @@
1.14
1.15 /* Obtain the filesystem capability. */
1.16
1.17 - err = import_capability(msg, 0, &server);
1.18 + err = ipc_message_import_capability(msg, 0, &server);
1.19 if (err)
1.20 {
1.21 send_error(msg, -L4_EIO);
1.22 @@ -171,7 +172,7 @@
1.23
1.24 /* Obtain the dataspace. */
1.25
1.26 - err = import_dataspace(msg, 1, &ds, (l4_addr_t *) &buffer);
1.27 + err = ipc_message_import_dataspace(msg, 1, &ds, (l4_addr_t *) &buffer);
1.28 if (err)
1.29 {
1.30 send_error(msg, -L4_EIO);