[seL4] sel4test CACHEFLUSH0001 failed

Hello,

I run sel4test on the aarch64 platform.

My CACHEFLUSH0001 test in sel4test failed /* Clean makes data observable to non-cached page */ *ptr = 0xC0FFEE; *ptrc = 0xDEADBEEF; test_assert(*ptr == 0xC0FFEE); test_assert(*ptrc == 0xDEADBEEF);

I have tried to make to 'improve' memory/cache coherence, but the last assertion still failed

/* Clean makes data observable to non-cached page */ *ptr = 0xC0FFEE; *ptrc = 0xDEADBEEF;

error = seL4_ARM_Page_Clean_Data(framec, 0, PAGE_SIZE_4K); error = seL4_ARM_Page_Invalidate_Data(framec, 0, PAGE_SIZE_4K);

__asm volatile("dmb sy" ::: "memory");

test_assert(*ptr == 0xC0FFEE); test_assert(*ptrc == 0xDEADBEEF);

Thank you, Leonid