On 29.10.25 11:08, Kevin Brodsky wrote:

arch_flush_lazy_mmu_mode() is called when outstanding batched
pgtable operations must be completed immediately. There should
however be no need to leave and re-enter lazy MMU completely. The
only part of that sequence that we really need is xen_mc_flush();
call it directly.

Signed-off-by: Kevin Brodsky <redacted>

Reviewed-by: Juergen Gross <jgross@suse.com>


Juergen