[PATCH v2 3/5] KVM: arm64: pkvm: Document the side effects of kvm_flush_dcache_to_poc()

[Oliver Upton]

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 at kernel.org>

Reviewed-by: Oliver Upton <oliver.upton at linux.dev>

-- 
Thanks,
Oliver