On Sat, Apr 08, 2023 at 05:04:25PM +0100, Marc Zyngier wrote: > We rely on the presence of a DSB at the end of kvm_flush_dcache_to_poc() > that, on top of ensuring completion of the cache clean, also covers > the speculative page table walk started from EL1. > > Document this dependency. > > Signed-off-by: Marc Zyngier <maz@xxxxxxxxxx> Reviewed-by: Oliver Upton <oliver.upton@xxxxxxxxx> -- Thanks, Oliver