1.1 --- a/pkg/devices/util/src/dataspace.cc Sun Jun 11 15:42:11 2023 +0200
1.2 +++ b/pkg/devices/util/src/dataspace.cc Sun Jun 18 00:19:36 2023 +0200
1.3 @@ -39,7 +39,12 @@
1.4
1.5 /* Allocate memory for the data and map it to a virtual address. */
1.6
1.7 - if (ipc_allocate_align(mem_size, L4RE_MA_CONTINUOUS, 0, allocated, &mem))
1.8 + if (ipc_new_dataspace(mem_size, L4RE_MA_CONTINUOUS, 0, &mem))
1.9 + return L4_INVALID_CAP;
1.10 +
1.11 + if (ipc_attach_dataspace_align(mem, mem_size,
1.12 + L4RE_RM_F_SEARCH_ADDR | L4RE_RM_F_RW,
1.13 + 0, allocated))
1.14 return L4_INVALID_CAP;
1.15
1.16 return mem;