lazy_mmu_mode_pause
static inline void lazy_mmu_mode_pause(void)
static inline void lazy_mmu_mode_pause(void) {}