lazy_mmu_mode_resume
static inline void lazy_mmu_mode_resume(void)
static inline void lazy_mmu_mode_resume(void) {}