cleanup_cpu_mmu_context
static inline void cleanup_cpu_mmu_context(void) { }
void cleanup_cpu_mmu_context(void)