69 	*R_MMU_KSEG = ( IO_STATE(R_MMU_KSEG, seg_f, seg  ) |  /* bootrom */  in paging_init()
70 			IO_STATE(R_MMU_KSEG, seg_e, page ) |  in paging_init()
71 			IO_STATE(R_MMU_KSEG, seg_d, page ) |   in paging_init()
72 			IO_STATE(R_MMU_KSEG, seg_c, page ) |     in paging_init()
73 			IO_STATE(R_MMU_KSEG, seg_b, seg  ) |  /* kernel reg area */  in paging_init()
75 			IO_STATE(R_MMU_KSEG, seg_a, seg  ) |  /* ARTPEC etc. */  in paging_init()
77 			IO_STATE(R_MMU_KSEG, seg_a, page ) |  in paging_init()
79 			IO_STATE(R_MMU_KSEG, seg_9, seg  ) |  /* LED's on some boards */  in paging_init()
80 			IO_STATE(R_MMU_KSEG, seg_8, seg  ) |  /* CSE0/1, flash and I/O */  in paging_init()
81 			IO_STATE(R_MMU_KSEG, seg_7, page ) |  /* kernel vmalloc area */  in paging_init()
82 			IO_STATE(R_MMU_KSEG, seg_6, seg  ) |  /* kernel DRAM area */  in paging_init()
83 			IO_STATE(R_MMU_KSEG, seg_5, seg  ) |  /* cached flash */  in paging_init()
84 			IO_STATE(R_MMU_KSEG, seg_4, page ) |  /* user area */  in paging_init()
85 			IO_STATE(R_MMU_KSEG, seg_3, page ) |  /* user area */  in paging_init()
86 			IO_STATE(R_MMU_KSEG, seg_2, page ) |  /* user area */  in paging_init()
87 			IO_STATE(R_MMU_KSEG, seg_1, page ) |  /* user area */  in paging_init()
88 			IO_STATE(R_MMU_KSEG, seg_0, page ) ); /* user area */  in paging_init()
116 	*R_MMU_KSEG = ( IO_STATE(R_MMU_KSEG, seg_f, seg  ) | /* cached flash */  in paging_init()
117 			IO_STATE(R_MMU_KSEG, seg_e, seg  ) | /* uncached flash */  in paging_init()
118 			IO_STATE(R_MMU_KSEG, seg_d, page ) | /* vmalloc area */  in paging_init()
119 			IO_STATE(R_MMU_KSEG, seg_c, seg  ) | /* kernel area */  in paging_init()
120 			IO_STATE(R_MMU_KSEG, seg_b, seg  ) | /* kernel reg area */  in paging_init()
121 			IO_STATE(R_MMU_KSEG, seg_a, seg  ) | /* bootrom */  in paging_init()
122 			IO_STATE(R_MMU_KSEG, seg_9, page ) | /* user area */  in paging_init()
123 			IO_STATE(R_MMU_KSEG, seg_8, page ) |  in paging_init()
124 			IO_STATE(R_MMU_KSEG, seg_7, page ) |  in paging_init()
125 			IO_STATE(R_MMU_KSEG, seg_6, page ) |  in paging_init()
126 			IO_STATE(R_MMU_KSEG, seg_5, page ) |  in paging_init()
127 			IO_STATE(R_MMU_KSEG, seg_4, page ) |  in paging_init()
128 			IO_STATE(R_MMU_KSEG, seg_3, page ) |  in paging_init()
129 			IO_STATE(R_MMU_KSEG, seg_2, page ) |  in paging_init()
130 			IO_STATE(R_MMU_KSEG, seg_1, page ) |  in paging_init()
131 			IO_STATE(R_MMU_KSEG, seg_0, page ) );  in paging_init()
158 	*R_MMU_CTRL = ( IO_STATE(R_MMU_CTRL, inv_excp, enable ) |  in paging_init()
159 			IO_STATE(R_MMU_CTRL, acc_excp, enable ) |  in paging_init()
160 			IO_STATE(R_MMU_CTRL, we_excp,  enable ) );  in paging_init()
162 	*R_MMU_ENABLE = IO_STATE(R_MMU_ENABLE, mmu_enable, enable);  in paging_init()