54 	/* read control register */  in mmu_enable()
59 	/* write back to control register */  in mmu_enable()
67 	/* read control register */  in mmu_disable()
72 	/* write back to control register */  in mmu_disable()
80 	/* read control register */  in mmu_enable_icache()
85 	/* write back to control register */  in mmu_enable_icache()
93 	/* read control register */  in mmu_enable_dcache()
98 	/* write back to control register */  in mmu_enable_dcache()
106 	/* read control register */  in mmu_disable_icache()
111 	/* write back to control register */  in mmu_disable_icache()
119 	/* read control register */  in mmu_disable_dcache()
124 	/* write back to control register */  in mmu_disable_dcache()
132 	/* read control register */  in mmu_enable_alignfault()
137 	/* write back to control register */  in mmu_enable_alignfault()
145 	/* read control register */  in mmu_disable_alignfault()
150 	/* write back to control register */  in mmu_disable_alignfault()