Style fix

Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jun 16, 2024 · 6635dad · 6635dad
1 parent a882dbd
commit 6635dad
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/apps/sel4test-tests/src/tests/cache.c b/apps/sel4test-tests/src/tests/cache.c
@@ -245,12 +245,12 @@ static int test_page_directory_flush(env_t env)
     return sel4test_get_result();
 }
 
-
 DEFINE_TEST(CACHEFLUSH0001, "Test a cache maintenance on pages", test_page_flush, config_set(CONFIG_HAVE_CACHE))
 DEFINE_TEST(CACHEFLUSH0002, "Test a cache maintenance on page directories", test_page_directory_flush,
             config_set(CONFIG_HAVE_CACHE))
 DEFINE_TEST(CACHEFLUSH0003, "Test that cache maintenance can be done on large pages", test_large_page_flush_operation,
             config_set(CONFIG_HAVE_CACHE))
+
 #endif
 
 
@@ -557,4 +557,5 @@ DEFINE_TEST(CACHEFLUSH0007, "Test cache maintenance on read-write mappings", tes
             config_set(CONFIG_HAVE_CACHE))
 DEFINE_TEST(CACHEFLUSH0008, "Test cache maintenance on read-only mappings", test_cache_read_only,
             config_set(CONFIG_HAVE_CACHE))
+
 #endif