From 49c7dfc4714aaf4e6fd854bdde6cc1081c92453a Mon Sep 17 00:00:00 2001
From: Caroline Leman <>
Date: Sun, 12 Jan 2020 16:08:29 +0100
Subject: Jitter: add remove_memory_page api

---
 test/jitter/vm_mngr.py | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'test/jitter/vm_mngr.py')

diff --git a/test/jitter/vm_mngr.py b/test/jitter/vm_mngr.py
index 468fb347..0fec1734 100644
--- a/test/jitter/vm_mngr.py
+++ b/test/jitter/vm_mngr.py
@@ -25,3 +25,11 @@ for i, access_right in enumerate(shuffled_rights):
 # Check for modification
 for i, access_right in enumerate(shuffled_rights):
     assert myjit.vm.get_mem_access(base_addr + i * page_size) == access_right
+
+# Remove pages
+for i in range(len(rights)):
+    myjit.vm.remove_memory_page(base_addr + i * page_size)
+
+# Add pages again
+for i, access_right in enumerate(rights):
+    myjit.vm.add_memory_page(base_addr + i * page_size, access_right, data)
-- 
cgit 1.4.1