86 	*R_MMU_KBASE_HI = ( IO_FIELD(R_MMU_KBASE_HI, base_f, 0x3 ) |  in paging_init()
87 			    IO_FIELD(R_MMU_KBASE_HI, base_e, 0x0 ) |  in paging_init()
88 			    IO_FIELD(R_MMU_KBASE_HI, base_d, 0x0 ) |  in paging_init()
89 			    IO_FIELD(R_MMU_KBASE_HI, base_c, 0x0 ) |  in paging_init()
90 			    IO_FIELD(R_MMU_KBASE_HI, base_b, 0xb ) |  in paging_init()
91 			    IO_FIELD(R_MMU_KBASE_HI, base_a, 0x0 ) |  in paging_init()
92 			    IO_FIELD(R_MMU_KBASE_HI, base_9, 0x9 ) |  in paging_init()
93 			    IO_FIELD(R_MMU_KBASE_HI, base_8, 0x8 ) );  in paging_init()
95 	*R_MMU_KBASE_LO = ( IO_FIELD(R_MMU_KBASE_LO, base_7, 0x0 ) |  in paging_init()
96 			    IO_FIELD(R_MMU_KBASE_LO, base_6, 0x4 ) |  in paging_init()
97 			    IO_FIELD(R_MMU_KBASE_LO, base_5, 0x0 ) |  in paging_init()
98 			    IO_FIELD(R_MMU_KBASE_LO, base_4, 0x0 ) |  in paging_init()
99 			    IO_FIELD(R_MMU_KBASE_LO, base_3, 0x0 ) |  in paging_init()
100 			    IO_FIELD(R_MMU_KBASE_LO, base_2, 0x0 ) |  in paging_init()
101 			    IO_FIELD(R_MMU_KBASE_LO, base_1, 0x0 ) |  in paging_init()
102 			    IO_FIELD(R_MMU_KBASE_LO, base_0, 0x0 ) );  in paging_init()
125 	*R_MMU_KBASE_HI = ( IO_FIELD(R_MMU_KBASE_HI, base_f, 0x0 ) |  in paging_init()
126 			    IO_FIELD(R_MMU_KBASE_HI, base_e, 0x8 ) |  in paging_init()
127 			    IO_FIELD(R_MMU_KBASE_HI, base_d, 0x0 ) |  in paging_init()
128 			    IO_FIELD(R_MMU_KBASE_HI, base_c, 0x4 ) |  in paging_init()
129 			    IO_FIELD(R_MMU_KBASE_HI, base_b, 0xb ) |  in paging_init()
130 			    IO_FIELD(R_MMU_KBASE_HI, base_a, 0x3 ) |  in paging_init()
131 			    IO_FIELD(R_MMU_KBASE_HI, base_9, 0x0 ) |  in paging_init()
132 			    IO_FIELD(R_MMU_KBASE_HI, base_8, 0x0 ) );  in paging_init()
134 	*R_MMU_KBASE_LO = ( IO_FIELD(R_MMU_KBASE_LO, base_7, 0x0 ) |  in paging_init()
135 			    IO_FIELD(R_MMU_KBASE_LO, base_6, 0x0 ) |  in paging_init()
136 			    IO_FIELD(R_MMU_KBASE_LO, base_5, 0x0 ) |  in paging_init()
137 			    IO_FIELD(R_MMU_KBASE_LO, base_4, 0x0 ) |  in paging_init()
138 			    IO_FIELD(R_MMU_KBASE_LO, base_3, 0x0 ) |  in paging_init()
139 			    IO_FIELD(R_MMU_KBASE_LO, base_2, 0x0 ) |  in paging_init()
140 			    IO_FIELD(R_MMU_KBASE_LO, base_1, 0x0 ) |  in paging_init()
141 			    IO_FIELD(R_MMU_KBASE_LO, base_0, 0x0 ) );  in paging_init()
144 	*R_MMU_CONTEXT = ( IO_FIELD(R_MMU_CONTEXT, page_id, 0 ) );  in paging_init()