246 	*R_MMU_KSEG = ( IO_STATE(R_MMU_KSEG, seg_f, seg  ) | /* cached flash */  in paging_init()
247 			IO_STATE(R_MMU_KSEG, seg_e, seg  ) | /* uncached flash */  in paging_init()
248 			IO_STATE(R_MMU_KSEG, seg_d, page ) | /* vmalloc area */  in paging_init()
249 			IO_STATE(R_MMU_KSEG, seg_c, seg  ) | /* kernel area */  in paging_init()
250 			IO_STATE(R_MMU_KSEG, seg_b, seg  ) | /* kernel reg area */  in paging_init()
251 			IO_STATE(R_MMU_KSEG, seg_a, seg  ) | /* bootrom/regs cached */   in paging_init()
252 			IO_STATE(R_MMU_KSEG, seg_9, page ) | /* user area */  in paging_init()
253 			IO_STATE(R_MMU_KSEG, seg_8, page ) |  in paging_init()
254 			IO_STATE(R_MMU_KSEG, seg_7, page ) |  in paging_init()
255 			IO_STATE(R_MMU_KSEG, seg_6, page ) |  in paging_init()
256 			IO_STATE(R_MMU_KSEG, seg_5, page ) |  in paging_init()
257 			IO_STATE(R_MMU_KSEG, seg_4, page ) |  in paging_init()
258 			IO_STATE(R_MMU_KSEG, seg_3, page ) |  in paging_init()
259 			IO_STATE(R_MMU_KSEG, seg_2, page ) |  in paging_init()
260 			IO_STATE(R_MMU_KSEG, seg_1, page ) |  in paging_init()
261 			IO_STATE(R_MMU_KSEG, seg_0, page ) );  in paging_init()
297 	*R_MMU_KSEG = ( IO_STATE(R_MMU_KSEG, seg_f, seg  ) |  /* cached bootrom/regs */   in paging_init()
298 			IO_STATE(R_MMU_KSEG, seg_e, page ) |  in paging_init()
299 			IO_STATE(R_MMU_KSEG, seg_d, page ) |   in paging_init()
300 			IO_STATE(R_MMU_KSEG, seg_c, page ) |     in paging_init()
301 			IO_STATE(R_MMU_KSEG, seg_b, seg  ) |  /* kernel reg area */  in paging_init()
303 			IO_STATE(R_MMU_KSEG, seg_a, seg  ) |  /* ARTPEC etc. */  in paging_init()
305 			IO_STATE(R_MMU_KSEG, seg_a, page ) |  in paging_init()
307 			IO_STATE(R_MMU_KSEG, seg_9, seg  ) |  /* LED's on some boards */  in paging_init()
308 			IO_STATE(R_MMU_KSEG, seg_8, seg  ) |  /* CSE0/1, flash and I/O */  in paging_init()
309 			IO_STATE(R_MMU_KSEG, seg_7, page ) |  /* kernel vmalloc area */  in paging_init()
310 			IO_STATE(R_MMU_KSEG, seg_6, seg  ) |  /* kernel DRAM area */  in paging_init()
311 			IO_STATE(R_MMU_KSEG, seg_5, seg  ) |  /* cached flash */  in paging_init()
312 			IO_STATE(R_MMU_KSEG, seg_4, page ) |  /* user area */  in paging_init()
313 			IO_STATE(R_MMU_KSEG, seg_3, page ) |  /* user area */  in paging_init()
314 			IO_STATE(R_MMU_KSEG, seg_2, page ) |  /* user area */  in paging_init()
315 			IO_STATE(R_MMU_KSEG, seg_1, page ) |  /* user area */  in paging_init()
316 			IO_STATE(R_MMU_KSEG, seg_0, page ) ); /* user area */  in paging_init()
347 	*R_MMU_CTRL = ( IO_STATE(R_MMU_CTRL, inv_excp, enable ) |  in paging_init()
348 			IO_STATE(R_MMU_CTRL, acc_excp, enable ) |  in paging_init()
349 			IO_STATE(R_MMU_CTRL, we_excp,  enable ) );  in paging_init()
351 	*R_MMU_ENABLE = IO_STATE(R_MMU_ENABLE, mmu_enable, enable);  in paging_init()