1.1 --- a/pkg/devices/util/src/dataspace.cc Tue Sep 27 23:21:50 2022 +0200
1.2 +++ b/pkg/devices/util/src/dataspace.cc Sun May 28 22:35:09 2023 +0200
1.3 @@ -1,7 +1,7 @@
1.4 /*
1.5 * Data space allocation utility functions.
1.6 *
1.7 - * Copyright (C) 2018 Paul Boddie <paul@boddie.org.uk>
1.8 + * Copyright (C) 2018, 2023 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 @@ -52,7 +52,7 @@
1.13
1.14 /* Map the memory to a virtual address. */
1.15
1.16 - if (L4Re::Env::env()->rm()->attach(allocated, mem->size(), L4Re::Rm::Search_addr,
1.17 + if (L4Re::Env::env()->rm()->attach(allocated, mem->size(), L4Re::Rm::F::Search_addr,
1.18 L4::Ipc::make_cap_rw(mem)))
1.19 {
1.20 L4Re::Util::cap_alloc.free(mem);