From 36dd4cf63deb1d387c5433c8701aa5ad4c1b4fdd Mon Sep 17 00:00:00 2001 From: Ivan Velickovic Date: Tue, 18 Jun 2024 12:31:17 +1000 Subject: [PATCH] Remove debug print Signed-off-by: Ivan Velickovic --- apps/sel4test-tests/src/tests/cache.c | 1 - 1 file changed, 1 deletion(-) diff --git a/apps/sel4test-tests/src/tests/cache.c b/apps/sel4test-tests/src/tests/cache.c index 0290a997..5fcdc3ac 100644 --- a/apps/sel4test-tests/src/tests/cache.c +++ b/apps/sel4test-tests/src/tests/cache.c @@ -430,7 +430,6 @@ static int test_cache_kernel_only(env_t env) test_error_eq(err, seL4_NoError); /* Page-level operations */ err = seL4_ARM_Page_Clean_Data(frame, 0, PAGE_SIZE_4K); - printf("kernel_only: page clean err: 0x%lx\n", err); test_error_eq(err, seL4_NoError); err = seL4_ARM_Page_Invalidate_Data(frame, 0, PAGE_SIZE_4K); test_error_eq(err, seL4_IllegalOperation);