258 	/* read control register */  in mmu_enable()
267 	/* write back to control register */  in mmu_enable()
275 	/* read control register */  in mmu_disable()
280 	/* write back to control register */  in mmu_disable()
288 	/* read control register */  in mmu_enable_icache()
293 	/* write back to control register */  in mmu_enable_icache()
301 	/* read control register */  in mmu_enable_dcache()
306 	/* write back to control register */  in mmu_enable_dcache()
314 	/* read control register */  in mmu_disable_icache()
319 	/* write back to control register */  in mmu_disable_icache()
327 	/* read control register */  in mmu_disable_dcache()
332 	/* write back to control register */  in mmu_disable_dcache()
340 	/* read control register */  in mmu_enable_alignfault()
345 	/* write back to control register */  in mmu_enable_alignfault()
353 	/* read control register */  in mmu_disable_alignfault()
358 	/* write back to control register */  in mmu_disable_alignfault()