Remove invalid page mapping cache tests for VSpace

Signed-off-by: Ivan Velickovic <[email protected]>

apps/sel4test-tests/src/tests/cache.c

@@ -370,15 +370,9 @@ static int test_cache_invalid(env_t env)
     frame = vka_alloc_frame_leaky(vka, PAGE_BITS_4K);
     test_assert(frame != seL4_CapNull);
 
-    /* Top-level page table operations */
-    err = seL4_ARCH_PageDirectory_Clean_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
-    test_error_eq(err, seL4_FailedLookup);
-    err = seL4_ARCH_PageDirectory_Invalidate_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
-    test_error_eq(err, seL4_FailedLookup);
-    err = seL4_ARCH_PageDirectory_CleanInvalidate_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
-    test_error_eq(err, seL4_FailedLookup);
-    err = seL4_ARCH_PageDirectory_Unify_Instruction(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
-    test_error_eq(err, seL4_FailedLookup);
+    /* Top-level page table operations for invalid mappings are silently ignored by
+     * the kernel so we do not test them here */
+
     /* Page-level operations */
     err = seL4_ARM_Page_Clean_Data(vstart, 0, PAGE_SIZE_4K);
     test_error_eq(err, seL4_FailedLookup);