# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1713536389 -7200
# Node ID 4ada53e03ac6bb2cff0c520103a54edecf226887
# Parent  c624ef758a976ed5be373a49a2e27d819cdd9def
Included missing region mapper header.

diff -r c624ef758a97 -r 4ada53e03ac6 pkg/devices/util/src/dataspace.cc
--- a/pkg/devices/util/src/dataspace.cc	Fri Apr 19 16:18:16 2024 +0200
+++ b/pkg/devices/util/src/dataspace.cc	Fri Apr 19 16:19:49 2024 +0200
@@ -1,7 +1,7 @@
 /*
  * Data space allocation utility functions.
  *
- * Copyright (C) 2018, 2023 Paul Boddie <paul@boddie.org.uk>
+ * Copyright (C) 2018, 2023, 2024 Paul Boddie <paul@boddie.org.uk>
  *
  * This program is free software; you can redistribute it and/or
  * modify it under the terms of the GNU General Public License as
@@ -20,6 +20,7 @@
  */
 
 #include <l4/re/c/mem_alloc.h>
+#include <l4/re/c/rm.h>
 
 #include <ipc/mem_ipc.h>
 
diff -r c624ef758a97 -r 4ada53e03ac6 pkg/devices/util/src/dma.cc
--- a/pkg/devices/util/src/dma.cc	Fri Apr 19 16:18:16 2024 +0200
+++ b/pkg/devices/util/src/dma.cc	Fri Apr 19 16:19:49 2024 +0200
@@ -22,6 +22,7 @@
 #include <l4/re/c/dataspace.h>
 #include <l4/re/c/dma_space.h>
 #include <l4/re/c/mem_alloc.h>
+#include <l4/re/c/rm.h>
 #include <l4/re/env.h>
 #include <l4/re/protocols.h>
 #include <l4/sys/factory.h>