1.1 --- a/libipc/lib/src/message.c Fri Mar 08 01:58:46 2024 +0100
1.2 +++ b/libipc/lib/src/message.c Fri Mar 08 22:43:20 2024 +0100
1.3 @@ -428,7 +428,7 @@
1.4
1.5 /* Discard a dataspace. */
1.6
1.7 -void ipc_message_discard_dataspace(ipc_message_t *msg, l4re_ds_t mem, l4_addr_t addr)
1.8 +void ipc_message_discard_dataspace(ipc_message_t *msg, l4_cap_idx_t mem, l4_addr_t addr)
1.9 {
1.10 ipc_message_discard_capability(msg, mem);
1.11 ipc_detach_dataspace((void *) addr);
1.12 @@ -518,7 +518,7 @@
1.13 /* Import from the message a dataspace, mapping it to an address, updating the
1.14 buffer registers for future capabilities. */
1.15
1.16 -long ipc_message_import_and_expect_dataspace(ipc_message_t *msg, int item, l4re_ds_t *mem, l4_addr_t *addr)
1.17 +long ipc_message_import_and_expect_dataspace(ipc_message_t *msg, int item, l4_cap_idx_t *mem, l4_addr_t *addr)
1.18 {
1.19 long err;
1.20 int local;
1.21 @@ -552,7 +552,7 @@
1.22
1.23 /* Import from the message a dataspace, mapping it to an address. */
1.24
1.25 -long ipc_message_import_dataspace(ipc_message_t *msg, int item, l4re_ds_t *mem, l4_addr_t *addr)
1.26 +long ipc_message_import_dataspace(ipc_message_t *msg, int item, l4_cap_idx_t *mem, l4_addr_t *addr)
1.27 {
1.28 int local;
1.29 long err;