1.1 --- a/libipc/include/ipc/mem_ipc.h Thu Mar 07 22:41:40 2024 +0100
1.2 +++ b/libipc/include/ipc/mem_ipc.h Thu Mar 07 23:50:26 2024 +0100
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Memory sharing abstractions.
1.6 *
1.7 - * Copyright (C) 2018, 2019, 2021, 2022 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2019, 2021, 2022, 2024 Paul Boddie <paul@boddie.org.uk>
1.9 *
1.10 * This program is free software; you can redistribute it and/or
1.11 * modify it under the terms of the GNU General Public License as
1.12 @@ -21,24 +21,23 @@
1.13
1.14 #pragma once
1.15
1.16 -#include <l4/re/c/dataspace.h>
1.17 -#include <l4/re/c/rm.h>
1.18 #include <l4/sys/types.h>
1.19 +#include <systypes/base.h>
1.20
1.21 EXTERN_C_BEGIN
1.22
1.23 -long ipc_allocate(unsigned long size, void **addr, l4re_ds_t *ds);
1.24 +long ipc_allocate(unsigned long size, void **addr, l4_cap_idx_t *ds);
1.25
1.26 -long ipc_allocate_align(unsigned long size, l4re_rm_flags_t flags,
1.27 - unsigned char align, void **addr, l4re_ds_t *ds);
1.28 +long ipc_allocate_align(unsigned long size, rm_flags_t flags,
1.29 + unsigned char align, void **addr, l4_cap_idx_t *ds);
1.30
1.31 long ipc_new_dataspace(l4_mword_t size, l4_umword_t flags, l4_umword_t align,
1.32 - l4re_ds_t *ds);
1.33 + l4_cap_idx_t *ds);
1.34
1.35 -long ipc_attach_dataspace(l4re_ds_t ds, unsigned long size, void **addr);
1.36 +long ipc_attach_dataspace(l4_cap_idx_t ds, unsigned long size, void **addr);
1.37
1.38 -long ipc_attach_dataspace_align(l4re_ds_t ds, unsigned long size,
1.39 - l4re_rm_flags_t flags, unsigned char align,
1.40 +long ipc_attach_dataspace_align(l4_cap_idx_t ds, unsigned long size,
1.41 + rm_flags_t flags, unsigned char align,
1.42 void **addr);
1.43
1.44 long ipc_detach_dataspace(void *addr);