From 57ae94847d221530540b2572b9a5bce2444f6674 Mon Sep 17 00:00:00 2001
From: Berkus Decker <berkus+github@metta.systems>
Date: Sun, 13 Dec 2020 19:42:39 +0200
Subject: [PATCH] sq update untyped

---
 nucleus/src/arch/aarch64/caps.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/nucleus/src/arch/aarch64/caps.rs b/nucleus/src/arch/aarch64/caps.rs
index c1e0277..c102df1 100644
--- a/nucleus/src/arch/aarch64/caps.rs
+++ b/nucleus/src/arch/aarch64/caps.rs
@@ -24,6 +24,7 @@
 // deriveCap();
 
 use {
+    crate::memory::PhysAddr,
     core::{convert::TryFrom, fmt},
     paste::paste,
     register::{register_bitfields, LocalRegisterCopy},
@@ -425,7 +426,7 @@ impl UntypedCapability {
 
     /// Return start address of this untyped block.
     pub fn base(&self) -> PhysAddr {
-        self.0.read(UntypedCap::Ptr)
+        (self.0.read(UntypedCap::Ptr) as u64).into() // @todo implement TryFrom<u128> for PhysAddr
     }
 
     // #define MAX_FREE_INDEX(sizeBits) (BIT( (sizeBits) - seL4_MinUntypedBits ))