On Wed, Apr 24, 2013 at 12:03:10PM +0100, Marc Zyngier wrote: > On 23/04/13 23:58, Christoffer Dall wrote: > > I noticed that this doesn't do any cache cleaning. Are the MMU page > > table walks guaranteed to be coherent with the MMU on arm64? > > I suppose you meant the cache. In this case, yes. The hardware page > table walker must snoop the caches. Also, for ARMv7, SMP implies that the hardware walker snoops the cache. I recently upstreamed some patches for this (see "ARM: 7691/1: mm: kill unused TLB_CAN_READ_FROM_L1_CACHE and use ALT_SMP instead" in -next), so you might want to check if there are any remaining, redundant flushes in kvm for ARMv7. Will -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html