From 013a9e99958308ad0b45071274526897162583a1 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 4 Feb 2025 14:55:13 +0100
Subject: [PATCH] ARM vmm: resolve uint64_t ambiguity

Issue #5428
---
 repos/os/src/server/vmm/address_space.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/repos/os/src/server/vmm/address_space.h b/repos/os/src/server/vmm/address_space.h
index 5a9c33c7a67..1f367445b09 100644
--- 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;
 }