1.1 --- a/pkg/devices/util/src/dataspace.cc Fri Apr 19 16:18:16 2024 +0200
1.2 +++ b/pkg/devices/util/src/dataspace.cc Fri Apr 19 16:19:49 2024 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Data space allocation utility functions.
1.6 *
1.7 - * Copyright (C) 2018, 2023 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2023, 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 @@ -20,6 +20,7 @@
1.13 */
1.14
1.15 #include <l4/re/c/mem_alloc.h>
1.16 +#include <l4/re/c/rm.h>
1.17
1.18 #include <ipc/mem_ipc.h>
1.19