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