On 8 January 2015 at 13:07, Marc Zyngier <marc.zyngier@xxxxxxx> wrote: >> Can you remind me why it's OK not to flush the icache for an >> ASID tagged VIVT icache? Making this page coherent might actually >> be revealing a change in the instructions associated with the VA, >> mightn't it? > > ASID cached VIVT icaches are also VMID tagged. It is thus impossible for > stale cache lines to come with a new page. And if by synchronizing the > caches you obtain a different instruction stream, it means you've > restored the wrong page. ...is that true even if the dirty data in the dcache comes from the userspace process doing DMA or writing the initial boot image or whatever? -- PMM _______________________________________________ kvmarm mailing list kvmarm@xxxxxxxxxxxxxxxxxxxxx https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
