On 23/10/2025 22:02, David Hildenbrand wrote:

On 15.10.25 10:27, Kevin Brodsky wrote:

quoted

The generic lazy_mmu layer now tracks whether a task is in lazy MMU
mode. As a result we no longer need to track whether the per-CPU TLB
batch struct is active - we know it is if in_lazy_mmu_mode() returns
true.

It's worth adding that disabling preemption while enabled makes sure
that we cannot reschedule while in lazy MMU mode, so when the per-CPU
TLB batch structure is active.

Yes good point, otherwise this change doesn't make sense. I'll add that.

- Kevin