On Fri, Sep 12, 2025 at 02:40:55PM +0200, David Hildenbrand wrote: > It would just be passing more context down to the architecture, right?
Yes. Namely this one would be arch-defined and arch_enter_lazy_mmu_mode() by default. static inline void arch_enter_lazy_mmu_mode_pte(struct mm_struct *mm, unsigned long addr, unsigned long end, pte_t *ptep) { ... } > David / dhildenb