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
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems

Reply via email to