Lines Matching refs:pte3
130 PageEntry pte3 = tbl3->entries[k];
131 if (pte3 & PTE_P) {
132 ASSERT((pte3 & PTE_PS) == 0); // XXX: Large pages not supported
133 PageTable *tbl4 = (PageTable *)DMPA2VA(pte3 & PGNUMMASK);
143 PAlloc_Release((void *)DMPA2VA(pte3 & PGNUMMASK));
581 PageEntry pte3 = l2->entries[k];
582 PageTable *l3 = (PageTable *)DMPA2VA(pte3 & PGNUMMASK);
584 if (!(pte3 & PTE_P))
589 (uint64_t)pte3);
591 if ((pte3 & PTE_PS) == 0) {
640 PageEntry pte3 = l2->entries[k];
641 PageTable *l3 = (PageTable *)DMPA2VA(pte3 & PGNUMMASK);
643 if (!(pte3 & PTE_P))
646 if ((pte3 & PTE_PS) == 0) {