From 1d22d07a2a4b8f7d2900de829a35497ea19f8702 Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Sun, 16 Jun 2024 21:16:10 +1000 Subject: [PATCH] Remove invalid page mapping cache tests for VSpace Signed-off-by: Ivan Velickovic --- apps/sel4test-tests/src/tests/cache.c | 12 +++--------- 1 file changed, 3 insertions(+), 9 deletions(-) diff --git a/apps/sel4test-tests/src/tests/cache.c b/apps/sel4test-tests/src/tests/cache.c index 953ab8d8..b47cd963 100644 --- a/apps/sel4test-tests/src/tests/cache.c +++ b/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);