ARM vmm: resolve uint64_t ambiguity

Issue #5428
2025-04-08 03:45:24 +00:00 · 2025-02-04 14:55:13 +01:00 · 2025-02-04 14:55:13 +01:00 · 9795f264aa
commit 9795f264aa
parent e3607a2d67
1 changed files with 2 additions and 0 deletions
--- a/repos/os/src/server/vmm/address_space.h
+++ b/repos/os/src/server/vmm/address_space.h
@ -22,6 +22,8 @@ namespace Vmm {

 	struct Address_range;
 	class  Address_space;
+
+	using uint64_t = Genode::uint64_t;
 }