From 75870a655feafe7a9d12827e724511f3d44b077d Mon Sep 17 00:00:00 2001
From: Robin Randhawa <robin.randhawa@arm.com>
Date: Thu, 21 Jan 2021 11:40:02 +0000
Subject: [PATCH] aarch64: context: Add separate kspace and uspace page table
 getters

---
 src/context/arch/aarch64.rs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/context/arch/aarch64.rs b/src/context/arch/aarch64.rs
index e759f0c..8637665 100644
--- a/src/context/arch/aarch64.rs
+++ b/src/context/arch/aarch64.rs
@@ -87,10 +87,14 @@ impl Context {
         }
     }
 
-    pub fn get_page_table(&self) -> usize {
+    pub fn get_page_utable(&self) -> usize {
         self.ttbr0_el1
     }
 
+    pub fn get_page_ktable(&self) -> usize {
+        self.ttbr1_el1
+    }
+
     pub fn set_fx(&mut self, _address: usize) {
     }