2242 			printf("%d: (hpte)%.16lx %.16lx\n", i, hpte->dw0.dword0, hpte->dw1.dword1);  in mem_translate()
2247 			printf("          rpn: %.13lx \n", (hpte->dw1.dw1.rpn));  in mem_translate()
2249 			       ((hpte->dw1.dw1.pp0)<<2)|(hpte->dw1.dw1.pp));  in mem_translate()
2251 			       ((hpte->dw1.dw1.w)<<4)|  in mem_translate()
2252 			       ((hpte->dw1.dw1.i)<<3)|  in mem_translate()
2253 			       ((hpte->dw1.dw1.m)<<2)|  in mem_translate()
2254 			       ((hpte->dw1.dw1.g)<<1)|  in mem_translate()
2255 			       ((hpte->dw1.dw1.n)<<0),  in mem_translate()
2256 			       hpte->dw1.dw1.r, hpte->dw1.dw1.c);  in mem_translate()
2266 			printf("%d: (hpte)%.16lx %.16lx\n", i, hpte->dw0.dword0, hpte->dw1.dword1);  in mem_translate()
2271 			printf("          rpn: %.13lx \n", (hpte->dw1.dw1.rpn));  in mem_translate()
2273 			       ((hpte->dw1.dw1.pp0)<<2)|(hpte->dw1.dw1.pp));  in mem_translate()
2275 			       ((hpte->dw1.dw1.w)<<4)|  in mem_translate()
2276 			       ((hpte->dw1.dw1.i)<<3)|  in mem_translate()
2277 			       ((hpte->dw1.dw1.m)<<2)|  in mem_translate()
2278 			       ((hpte->dw1.dw1.g)<<1)|  in mem_translate()
2279 			       ((hpte->dw1.dw1.n)<<0),  in mem_translate()
2280 			       hpte->dw1.dw1.r, hpte->dw1.dw1.c);  in mem_translate()
2317 			if ( hpte1->dw1.dw1.rpn <= last_rpn ) {  in mem_check()
2320 						if(hpte1->dw1.dw1.rpn == hpte2->dw1.dw1.rpn) {  in mem_check()
2321 							printf(" Duplicate rpn: %.13lx \n", (hpte1->dw1.dw1.rpn));  in mem_check()
2323 							       hpte1, hpte1->dw0.dword0, hpte1->dw1.dword1);  in mem_check()
2325 							       hpte2, hpte2->dw0.dword0, hpte2->dw1.dword1);  in mem_check()
2330 				printf(" Bogus rpn: %.13lx \n", (hpte1->dw1.dw1.rpn));  in mem_check()
2332 				       hpte1, hpte1->dw0.dword0, hpte1->dw1.dword1);  in mem_check()
2366 			if ( hpte1->dw1.dw1.rpn == rpn ) {  in mem_find_real()
2367 				printf(" Found rpn: %.13lx \n", (hpte1->dw1.dw1.rpn));  in mem_find_real()
2369 				       hpte1, hpte1->dw0.dword0, hpte1->dw1.dword1);  in mem_find_real()
2401 				       hpte1, hpte1->dw0.dword0, hpte1->dw1.dword1);  in mem_find_vsid()