1.1 --- a/libipc/include/ipc/mem_ipc.h Fri Mar 08 00:26:54 2024 +0100
1.2 +++ b/libipc/include/ipc/mem_ipc.h Fri Mar 08 01:19:31 2024 +0100
1.3 @@ -42,7 +42,7 @@
1.4
1.5 long ipc_detach_dataspace(void *addr);
1.6
1.7 -long ipc_dataspace_size(l4_cap_idx_t cap, unsigned long *size);
1.8 +long ipc_dataspace_size(l4_cap_idx_t cap, offset_t *size);
1.9
1.10 EXTERN_C_END
1.11
2.1 --- a/libipc/lib/src/mem_ipc.c Fri Mar 08 00:26:54 2024 +0100
2.2 +++ b/libipc/lib/src/mem_ipc.c Fri Mar 08 01:19:31 2024 +0100
2.3 @@ -126,7 +126,7 @@
2.4
2.5 /* Obtain a dataspace size. Equivalent to l4re_ds_size. */
2.6
2.7 -long ipc_dataspace_size(l4_cap_idx_t cap, unsigned long *size)
2.8 +long ipc_dataspace_size(l4_cap_idx_t cap, offset_t *size)
2.9 {
2.10 *size = l4re_ds_size(cap);
2.11 return L4_EOK;
3.1 --- a/libipc/lib/src/util_ipc.c Fri Mar 08 00:26:54 2024 +0100
3.2 +++ b/libipc/lib/src/util_ipc.c Fri Mar 08 01:19:31 2024 +0100
3.3 @@ -169,7 +169,7 @@
3.4 l4re_ds_t *mem, l4_addr_t *addr, int *local)
3.5 {
3.6 long err;
3.7 - unsigned long size;
3.8 + offset_t size;
3.9
3.10 *mem = ipc_cap_alloc();
3.11