On Sun, Jan 9, 2022 at 9:18 PM Nicholas Piggin <npiggin@xxxxxxxxx> wrote: > > This is the patch that goes on top of the series I posted. It's not > very clean at the moment it was just a proof of concept. Yeah, this looks like what x86 basically already effectively does. x86 obviously doesn't have that TLBIE option, and already has that "exit lazy mode" logic (although it does so differently, using switch_mm_irqs_off(), and guards it with the 'info->freed_tables' check). But there are so many different possible ways to flush TLB's (the whole "paravirt vs native") that it would still require some double-checking that there isn't some case that does it differently.. Linus