1.1 --- a/libipc/include/ipc/util_ipc.h Fri Mar 08 01:58:46 2024 +0100
1.2 +++ b/libipc/include/ipc/util_ipc.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 @@ -42,7 +41,7 @@
1.12 void _export_page(l4_msgtag_t tag, l4_msg_regs_t *mregs, int item, l4_umword_t hot_spot, l4_fpage_t fpage);
1.13 void _free_expected_capabilities(l4_buf_regs_t *bregs, int start, int limit);
1.14 long _import_capability(l4_msgtag_t tag, l4_buf_regs_t *bregs, l4_msg_regs_t *mregs, int item, int buf_item, l4_cap_idx_t *ref, int *local);
1.15 -long _import_dataspace(l4_msgtag_t tag, l4_buf_regs_t *bregs, l4_msg_regs_t *mregs, int item, int buf_item, l4re_ds_t *mem, l4_addr_t *addr, int *local);
1.16 +long _import_dataspace(l4_msgtag_t tag, l4_buf_regs_t *bregs, l4_msg_regs_t *mregs, int item, int buf_item, l4_cap_idx_t *mem, l4_addr_t *addr, int *local);
1.17 long _import_fpage(l4_msgtag_t tag, l4_buf_regs_t *bregs, l4_msg_regs_t *mregs, int item, l4_snd_fpage_t *fpage);
1.18
1.19 /* Convenience operations. */