Re: [PATCH v3 06/13] mm: introduce generic lazy_mmu helpers

[Alexander Gordeev <agordeev@xxxxxxxxxxxxx>]

On Wed, Oct 15, 2025 at 09:27:20AM +0100, Kevin Brodsky wrote:

Hi Kevin,

...
> * lazy_mmu_mode_pause() ... lazy_mmu_mode_resume()
>     This is for situations where the mode is temporarily disabled
>     by first calling pause() and then resume() (e.g. to prevent any
>     batching from occurring in a critical section).
...
> +static inline void lazy_mmu_mode_pause(void)
> +{
> +     arch_leave_lazy_mmu_mode();

I think it should have been arch_pause_lazy_mmu_mode(), wich defaults
to  arch_leave_lazy_mmu_mode(), as we discussed in v2:

https://lore.kernel.org/linux-mm/d407a381-099b-4ec6-a20e-aeff4f3d750f@xxxxxxx/#t

> +}
> +
> +static inline void lazy_mmu_mode_resume(void)
> +{
> +     arch_enter_lazy_mmu_mode();
> +}

Thanks!