Lines Matching refs:pte2
126 PageEntry pte2 = tbl2->entries[j];
127 if (pte2 & PTE_P) {
128 PageTable *tbl3 = (PageTable *)DMPA2VA(pte2 & PGNUMMASK);
148 PAlloc_Release((void *)DMPA2VA(pte2 & PGNUMMASK));
572 PageEntry pte2 = l1->entries[j];
573 PageTable *l2 = (PageTable *)DMPA2VA(pte2 & PGNUMMASK);
575 if (!(pte2 & PTE_P))
578 kprintf("Level 2: %016llx\n", (uint64_t)pte2);
633 PageEntry pte2 = l1->entries[j];
634 PageTable *l2 = (PageTable *)DMPA2VA(pte2 & PGNUMMASK);
636 if (!(pte2 & PTE_P))