139 	unsigned long *table = __va(asce & PAGE_MASK);  in dump_pagetable()  local
144 		table = table + ((address >> 53) & 0x7ff);  in dump_pagetable()
145 		if (bad_address(table))  in dump_pagetable()
147 		pr_cont("R1:%016lx ", *table);  in dump_pagetable()
148 		if (*table & _REGION_ENTRY_INVALID)  in dump_pagetable()
150 		table = (unsigned long *)(*table & _REGION_ENTRY_ORIGIN);  in dump_pagetable()
153 		table = table + ((address >> 42) & 0x7ff);  in dump_pagetable()
154 		if (bad_address(table))  in dump_pagetable()
156 		pr_cont("R2:%016lx ", *table);  in dump_pagetable()
157 		if (*table & _REGION_ENTRY_INVALID)  in dump_pagetable()
159 		table = (unsigned long *)(*table & _REGION_ENTRY_ORIGIN);  in dump_pagetable()
162 		table = table + ((address >> 31) & 0x7ff);  in dump_pagetable()
163 		if (bad_address(table))  in dump_pagetable()
165 		pr_cont("R3:%016lx ", *table);  in dump_pagetable()
166 		if (*table & (_REGION_ENTRY_INVALID | _REGION3_ENTRY_LARGE))  in dump_pagetable()
168 		table = (unsigned long *)(*table & _REGION_ENTRY_ORIGIN);  in dump_pagetable()
171 		table = table + ((address >> 20) & 0x7ff);  in dump_pagetable()
172 		if (bad_address(table))  in dump_pagetable()
174 		pr_cont(KERN_CONT "S:%016lx ", *table);  in dump_pagetable()
175 		if (*table & (_SEGMENT_ENTRY_INVALID | _SEGMENT_ENTRY_LARGE))  in dump_pagetable()
177 		table = (unsigned long *)(*table & _SEGMENT_ENTRY_ORIGIN);  in dump_pagetable()
179 	table = table + ((address >> 12) & 0xff);  in dump_pagetable()
180 	if (bad_address(table))  in dump_pagetable()
182 	pr_cont("P:%016lx ", *table);  in dump_pagetable()
194 	unsigned long *table = __va(asce & PAGE_MASK);  in dump_pagetable()  local
197 	table = table + ((address >> 20) & 0x7ff);  in dump_pagetable()
198 	if (bad_address(table))  in dump_pagetable()
200 	pr_cont("S:%08lx ", *table);  in dump_pagetable()
201 	if (*table & _SEGMENT_ENTRY_INVALID)  in dump_pagetable()
203 	table = (unsigned long *)(*table & _SEGMENT_ENTRY_ORIGIN);  in dump_pagetable()
204 	table = table + ((address >> 12) & 0xff);  in dump_pagetable()
205 	if (bad_address(table))  in dump_pagetable()
207 	pr_cont("P:%08lx ", *table);  in dump_pagetable()