263 	*R_MMU_KBASE_HI = ( IO_FIELD(R_MMU_KBASE_HI, base_f, 0x0 ) |  in paging_init()
264 			    IO_FIELD(R_MMU_KBASE_HI, base_e, 0x8 ) |  in paging_init()
265 			    IO_FIELD(R_MMU_KBASE_HI, base_d, 0x0 ) |  in paging_init()
266 			    IO_FIELD(R_MMU_KBASE_HI, base_c, 0x4 ) |  in paging_init()
267 			    IO_FIELD(R_MMU_KBASE_HI, base_b, 0xb ) |  in paging_init()
268 			    IO_FIELD(R_MMU_KBASE_HI, base_a, 0x3 ) |  in paging_init()
269 			    IO_FIELD(R_MMU_KBASE_HI, base_9, 0x0 ) |  in paging_init()
270 			    IO_FIELD(R_MMU_KBASE_HI, base_8, 0x0 ) );  in paging_init()
272 	*R_MMU_KBASE_LO = ( IO_FIELD(R_MMU_KBASE_LO, base_7, 0x0 ) |  in paging_init()
273 			    IO_FIELD(R_MMU_KBASE_LO, base_6, 0x0 ) |  in paging_init()
274 			    IO_FIELD(R_MMU_KBASE_LO, base_5, 0x0 ) |  in paging_init()
275 			    IO_FIELD(R_MMU_KBASE_LO, base_4, 0x0 ) |  in paging_init()
276 			    IO_FIELD(R_MMU_KBASE_LO, base_3, 0x0 ) |  in paging_init()
277 			    IO_FIELD(R_MMU_KBASE_LO, base_2, 0x0 ) |  in paging_init()
278 			    IO_FIELD(R_MMU_KBASE_LO, base_1, 0x0 ) |  in paging_init()
279 			    IO_FIELD(R_MMU_KBASE_LO, base_0, 0x0 ) );  in paging_init()
318 	*R_MMU_KBASE_HI = ( IO_FIELD(R_MMU_KBASE_HI, base_f, 0x3 ) |  in paging_init()
319 			    IO_FIELD(R_MMU_KBASE_HI, base_e, 0x0 ) |  in paging_init()
320 			    IO_FIELD(R_MMU_KBASE_HI, base_d, 0x0 ) |  in paging_init()
321 			    IO_FIELD(R_MMU_KBASE_HI, base_c, 0x0 ) |  in paging_init()
322 			    IO_FIELD(R_MMU_KBASE_HI, base_b, 0xb ) |  in paging_init()
324 			    IO_FIELD(R_MMU_KBASE_HI, base_a, 0xa ) |  in paging_init()
326 			    IO_FIELD(R_MMU_KBASE_HI, base_a, 0x0 ) |  in paging_init()
328 			    IO_FIELD(R_MMU_KBASE_HI, base_9, 0x9 ) |  in paging_init()
329 			    IO_FIELD(R_MMU_KBASE_HI, base_8, 0x8 ) );  in paging_init()
331 	*R_MMU_KBASE_LO = ( IO_FIELD(R_MMU_KBASE_LO, base_7, 0x0 ) |  in paging_init()
332 			    IO_FIELD(R_MMU_KBASE_LO, base_6, 0x4 ) |  in paging_init()
333 			    IO_FIELD(R_MMU_KBASE_LO, base_5, 0x0 ) |  in paging_init()
334 			    IO_FIELD(R_MMU_KBASE_LO, base_4, 0x0 ) |  in paging_init()
335 			    IO_FIELD(R_MMU_KBASE_LO, base_3, 0x0 ) |  in paging_init()
336 			    IO_FIELD(R_MMU_KBASE_LO, base_2, 0x0 ) |  in paging_init()
337 			    IO_FIELD(R_MMU_KBASE_LO, base_1, 0x0 ) |  in paging_init()
338 			    IO_FIELD(R_MMU_KBASE_LO, base_0, 0x0 ) );  in paging_init()
341 	*R_MMU_CONTEXT = ( IO_FIELD(R_MMU_CONTEXT, page_id, 0 ) );  in paging_init()