Changed aarch32 pt0002 test

Signed-off-by: Alwin Joshy <[email protected]>
seL4 · Jan 31, 2023 · 07a3ef4 · 07a3ef4
1 parent 19156a5
commit 07a3ef4
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/apps/sel4test-tests/src/tests/pagetables.c b/apps/sel4test-tests/src/tests/pagetables.c
@@ -86,8 +86,9 @@ static int do_test_pagetable_tlbflush_on_vaddr_reuse(env_t env, seL4_CPtr cap1,
     test_error_eq(error, 0);
     test_check(vptr[0] == 1);
 
-    /* This test no longer works as it relies on overmapping */
-
+    error = seL4_ARM_Page_Unmap(cap1);
+    test_error_eq(error, 0)
+
     error = seL4_ARM_Page_Map(cap2, env->page_directory,
                               vaddr, seL4_AllRights,
                               seL4_ARM_Default_VMAttributes);