lazy_mmu_mode_enable
static inline void lazy_mmu_mode_enable(void)
static inline void lazy_mmu_mode_enable(void) {}