ARM vmm: resolve uint64_t ambiguity

Issue #5428
genodelabs · Feb 4, 2025 · 013a9e9 · 013a9e9
1 parent 38c5ad2
commit 013a9e9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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;
 }