Lines Matching refs:pte4

135 				PageEntry pte4 = tbl4->entries[l];
136 				if (pte4 & PTE_P) {
138 				    PAlloc_Release((void *)DMPA2VA(pte4 & PGNUMMASK));
593 			PageEntry pte4 = l3->entries[l];
597 				(uint64_t)pte4);
648 			PageEntry pte4 = l3->entries[l];
650 			if (pte4 & PTE_P)
653 				    (uint64_t)pte4,
654 				    (pte4 & PTE_W) ? 'W' : ' ',
655 				    (pte4 & PTE_NX) ? ' ' : 'X',
656 				    (pte4 & PTE_U) ? 'U' : ' ',
657 				    (pte4 & PTE_A) ? 'A' : ' ',
658 				    (pte4 & PTE_D) ? 'D' : ' ');