cache: only expect errors for armv8-a

On armv7-a, the corresponding operations are safe for the kernel to perform. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · Jun 20, 2024 · 129a97a · 129a97a
1 parent 0c92459
commit 129a97a
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/apps/sel4test-tests/src/tests/cache.c b/apps/sel4test-tests/src/tests/cache.c
@@ -423,7 +423,7 @@ static int test_cache_kernel_only(env_t env)
     err = seL4_ARCH_PageDirectory_Clean_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
     test_error_eq(err, seL4_NoError);
     err = seL4_ARCH_PageDirectory_Invalidate_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
-    test_error_eq(err, seL4_IllegalOperation);
+    test_error_eq(err, config_set(CONFIG_ARCH_AARCH64) ? seL4_IllegalOperation : seL4_NoError);
     err = seL4_ARCH_PageDirectory_CleanInvalidate_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
     test_error_eq(err, seL4_NoError);
     err = seL4_ARCH_PageDirectory_Unify_Instruction(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
@@ -432,7 +432,7 @@ static int test_cache_kernel_only(env_t env)
     err = seL4_ARM_Page_Clean_Data(frame, 0, PAGE_SIZE_4K);
     test_error_eq(err, seL4_NoError);
     err = seL4_ARM_Page_Invalidate_Data(frame, 0, PAGE_SIZE_4K);
-    test_error_eq(err, seL4_IllegalOperation);
+    test_error_eq(err, config_set(CONFIG_ARCH_AARCH64) ? seL4_IllegalOperation : seL4_NoError);
     err = seL4_ARM_Page_CleanInvalidate_Data(frame, 0, PAGE_SIZE_4K);
     test_error_eq(err, seL4_NoError);
     err = seL4_ARM_Page_Unify_Instruction(frame, 0, PAGE_SIZE_4K);
@@ -525,7 +525,7 @@ static int test_cache_read_only(env_t env)
     err = seL4_ARCH_PageDirectory_Clean_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
     test_error_eq(err, seL4_NoError);
     err = seL4_ARCH_PageDirectory_Invalidate_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
-    test_error_eq(err, seL4_IllegalOperation);
+    test_error_eq(err, config_set(CONFIG_ARCH_AARCH64) ? seL4_IllegalOperation : seL4_NoError);
     err = seL4_ARCH_PageDirectory_CleanInvalidate_Data(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
     test_error_eq(err, seL4_NoError);
     err = seL4_ARCH_PageDirectory_Unify_Instruction(env->page_directory, vstart, vstart + PAGE_SIZE_4K);
@@ -534,7 +534,7 @@ static int test_cache_read_only(env_t env)
     err = seL4_ARM_Page_Clean_Data(frame, 0, PAGE_SIZE_4K);
     test_error_eq(err, seL4_NoError);
     err = seL4_ARM_Page_Invalidate_Data(frame, 0, PAGE_SIZE_4K);
-    test_error_eq(err, seL4_IllegalOperation);
+    test_error_eq(err, config_set(CONFIG_ARCH_AARCH64) ? seL4_IllegalOperation : seL4_NoError);
     err = seL4_ARM_Page_CleanInvalidate_Data(frame, 0, PAGE_SIZE_4K);
     test_error_eq(err, seL4_NoError);
     err = seL4_ARM_Page_Unify_Instruction(frame, 0, PAGE_SIZE_4K);