On Wed, Oct 29, 2025 at 10:09:04AM +0000, Kevin Brodsky wrote:
Hi Kevin,
+#ifdef CONFIG_ARCH_HAS_LAZY_MMU_MODE
+static inline bool in_lazy_mmu_mode(void)
+{
+ return current->lazy_mmu_state.active;
Whether (nesting_level > 0) is more correct check?
Otherwise, it returns false while in paused mode.
May be check both nesting_level and active and also introduce
in_lazy_mmu_paused_mode() right away to avoid any confusion?
+}
+#else
+static inline bool in_lazy_mmu_mode(void)
+{
+ return false;
+}
+#endif
+
extern struct pid *cad_pid;
/*
Thanks!