Hi, While debugging something, I wrote some data to guest pages mapped via paging_get_guest_pages(). I then flushed the cache using arm_dcaches_flush(mapped_page + offset_we_wrote_at, size, DCACHE_CLEAN_AND_INVALIDATE).
But then if I read the same memory from the Linux guest, the changes are not reflected there and the old value is read. Why is this so? Is arm_dcaches_flush() possibly bugged? Is something else wrong? The function looks all right to me at first glance. The area of guest memory is allocated by Linux using dmam_alloc_coherent(), so I don't think a cache flush is needed on the guest side. -- Regards, Pratyush Yadav -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/6a2e95f8-acf5-0bb9-e35d-ace7ce020ddf%40ti.com. For more options, visit https://groups.google.com/d/optout.
