397 pte2mfn(x86pte_t pte, uint_t level)  in pte2mfn()  argument
400 	if (level > 0 && (pte & PT_PAGESIZE))  in pte2mfn()
401 		mfn = mmu_btop(pte & PT_PADDR_LGPG);  in pte2mfn()
403 		mfn = mmu_btop(pte & PT_PADDR);  in pte2mfn()
408 do_pte_dcmd(int level, uint64_t pte)  in do_pte_dcmd()  argument
416 	mdb_printf("pte=0x%llr: ", pte);  in do_pte_dcmd()
418 	mfn = pte2mfn(pte, level);  in do_pte_dcmd()
421 	if (PTE_GET(pte, mmu.pt_nx))  in do_pte_dcmd()
424 	if (PTE_GET(pte, PT_NOCONSIST))  in do_pte_dcmd()
427 	if (PTE_GET(pte, PT_NOSYNC))  in do_pte_dcmd()
430 	if (PTE_GET(pte, mmu.pt_global))  in do_pte_dcmd()
433 	if (level > 0 && PTE_GET(pte, PT_PAGESIZE))  in do_pte_dcmd()
436 	if (level > 0 && PTE_GET(pte, PT_MOD))  in do_pte_dcmd()
439 	if (level > 0 && PTE_GET(pte, PT_REF))  in do_pte_dcmd()
442 	if (PTE_GET(pte, PT_USER))  in do_pte_dcmd()
445 	if (PTE_GET(pte, PT_WRITABLE))  in do_pte_dcmd()
453 		if (PTE_GET(pte, PT_PAGESIZE) && PTE_GET(pte, PT_PAT_LARGE))  in do_pte_dcmd()
456 		if (PTE_GET(pte, PT_PAT_4K))  in do_pte_dcmd()
460 	if (PTE_GET(pte, PT_NOCACHE))  in do_pte_dcmd()
463 	if (PTE_GET(pte, PT_WRITETHRU))  in do_pte_dcmd()
469 	if (PTE_GET(pte, PT_VALID) == 0)  in do_pte_dcmd()
551 	x86pte_t pte;  in do_va2pa()  local
598 				pte = get_pte(&hat, &htable, addr);  in do_va2pa()
602 					    "pte=0x%llr\n", level, ht, pte);  in do_va2pa()
605 				if (!PTE_ISVALID(pte)) {  in do_va2pa()
614 				if (PTE_IS_LGPG(pte, level))  in do_va2pa()
615 					paddr = mdb_ma_to_pa(pte &  in do_va2pa()
618 					paddr = mdb_ma_to_pa(pte & PT_PADDR);  in do_va2pa()
623 					*mfnp = pte2mfn(pte, level);  in do_va2pa()
704 	x86pte_t pte;  in do_report_maps()  local
774 					len = mdb_pread(&pte, mmu.pte_size,  in do_report_maps()
779 					if ((pte & PT_VALID) == 0)  in do_report_maps()
781 					if (level == 0 || !(pte & PT_PAGESIZE))  in do_report_maps()
782 						pte &= PT_PADDR;  in do_report_maps()
784 						pte &= PT_PADDR_LGPG;  in do_report_maps()
785 					if (mmu_btop(mdb_ma_to_pa(pte)) != pfn)  in do_report_maps()
838 	x86pte_t pte;  in do_ptable_dcmd()  local
902 		len = mdb_pread(&pte, mmu.pte_size,  in do_ptable_dcmd()
907 		if (pte == 0)  in do_ptable_dcmd()
912 		do_pte_dcmd(level, pte);  in do_ptable_dcmd()
1067 		x86pte_t pte;  in ptmap_dcmd()  local
1072 		if (mdb_pread(&pte, sizeof (pte), pte_addr) != sizeof (pte)) {  in ptmap_dcmd()
1077 		if (PTE_GET(pte, PT_VALID) == 0) {  in ptmap_dcmd()
1083 		} else if (curlevel == 0 || PTE_GET(pte, PT_PAGESIZE)) {  in ptmap_dcmd()
1086 				user = PTE_GET(pte, PT_USER);  in ptmap_dcmd()
1087 				writable = PTE_GET(pte, PT_WRITABLE);  in ptmap_dcmd()
1088 			} else if (user != PTE_GET(pte, PT_USER) ||  in ptmap_dcmd()
1089 			    writable != PTE_GET(pte, PT_WRITABLE)) {  in ptmap_dcmd()
1093 				user = PTE_GET(pte, PT_USER);  in ptmap_dcmd()
1094 				writable = PTE_GET(pte, PT_WRITABLE);  in ptmap_dcmd()
1098 			physaddr_t pa = mmu_ptob(pte2mfn(pte, curlevel));  in ptmap_dcmd()