From 78d1cd17985d8302dd18a687ab0cb488962659b7 Mon Sep 17 00:00:00 2001
From: Robin Randhawa <robin.randhawa@arm.com>
Date: Thu, 21 Jan 2021 11:53:35 +0000
Subject: [PATCH] syscall: process: empty: Use user-space specific page table

---
 src/syscall/process.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/syscall/process.rs b/src/syscall/process.rs
index 8518f99b..05b66e26 100644
--- a/src/syscall/process.rs
+++ b/src/syscall/process.rs
@@ -599,7 +599,7 @@ fn empty(context: &mut context::Context, reaping: bool) {
             if reaping {
                 println!("{}: {}: Grant should not exist: {:?}", context.id.into(), unsafe { ::core::str::from_utf8_unchecked(&context.name.lock()) }, grant);
 
-                let mut new_table = unsafe { InactivePageTable::from_address(context.arch.get_page_table()) };
+                let mut new_table = unsafe { InactivePageTable::from_address(context.arch.get_page_utable()) };
                 let mut temporary_page = TemporaryPage::new(Page::containing_address(VirtualAddress::new(crate::USER_TMP_GRANT_OFFSET)));
 
                 grant.unmap_inactive(&mut new_table, &mut temporary_page);
-- 
GitLab