On 20/06/19 2:53 PM, 'Pratyush Yadav' via Jailhouse wrote: > 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. Nevermind. I was writing to the wrong pointer. It works as it was supposed to. -- 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/076c6185-87a8-008c-ee69-23f800d04976%40ti.com. For more options, visit https://groups.google.com/d/optout.
Re: [EXTERNAL] Writes to pages mapped via paging_get_guest_pages() not being reflected in the guest
'Pratyush Yadav' via Jailhouse Thu, 20 Jun 2019 04:08:57 -0700
- Writes to pages mapped via paging_get_guest... 'Pratyush Yadav' via Jailhouse
- Re: [EXTERNAL] Writes to pages mapped ... 'Pratyush Yadav' via Jailhouse
