1.1 --- a/libipc/include/ipc/message.h Fri Mar 08 01:58:46 2024 +0100
1.2 +++ b/libipc/include/ipc/message.h Fri Mar 08 22:43:20 2024 +0100
1.3 @@ -21,7 +21,6 @@
1.4
1.5 #pragma once
1.6
1.7 -#include <l4/re/c/dataspace.h>
1.8 #include <l4/sys/ipc.h>
1.9 #include <l4/sys/utcb.h>
1.10 #include <l4/sys/types.h>
1.11 @@ -136,16 +135,16 @@
1.12 /* Supporting operations. */
1.13
1.14 void ipc_message_discard_capability(ipc_message_t *msg, l4_cap_idx_t cap);
1.15 -void ipc_message_discard_dataspace(ipc_message_t *msg, l4re_ds_t mem, l4_addr_t addr);
1.16 +void ipc_message_discard_dataspace(ipc_message_t *msg, l4_cap_idx_t mem, l4_addr_t addr);
1.17 long ipc_message_expect_capabilities(ipc_message_t *msg, int number);
1.18 long ipc_message_expect_capability(ipc_message_t *msg, int item);
1.19 void ipc_message_export_capability(ipc_message_t *msg, int item, l4_cap_idx_t ref);
1.20 void ipc_message_export_fpage(ipc_message_t *msg, int item, l4_snd_fpage_t fpage);
1.21 void ipc_message_export_page(ipc_message_t *msg, int item, l4_umword_t hot_spot, l4_fpage_t fpage);
1.22 long ipc_message_import_and_expect_capability(ipc_message_t *msg, int item, l4_cap_idx_t *ref);
1.23 -long ipc_message_import_and_expect_dataspace(ipc_message_t *msg, int item, l4re_ds_t *mem, l4_addr_t *addr);
1.24 +long ipc_message_import_and_expect_dataspace(ipc_message_t *msg, int item, l4_cap_idx_t *mem, l4_addr_t *addr);
1.25 long ipc_message_import_capability(ipc_message_t *msg, int item, l4_cap_idx_t *ref);
1.26 -long ipc_message_import_dataspace(ipc_message_t *msg, int item, l4re_ds_t *mem, l4_addr_t *addr);
1.27 +long ipc_message_import_dataspace(ipc_message_t *msg, int item, l4_cap_idx_t *mem, l4_addr_t *addr);
1.28 long ipc_message_import_fpage(ipc_message_t *msg, int item, l4_snd_fpage_t *fpage);
1.29 void ipc_message_propagate_capability(ipc_message_t *msg, int item, l4_cap_idx_t ref);
1.30 void ipc_message_receive_fpage(ipc_message_t *msg, int item, l4_snd_fpage_t fpage);