Lines Matching refs:pte
42 PageEntry pte = DMVA2PA((uint64_t)pgtbl) | PTE_W | PTE_P;
46 systemAS.root->entries[i] = pte;
121 PageEntry pte = space->root->entries[i];
122 if (pte & PTE_P) {
124 PageTable *tbl2 = (PageTable *)DMPA2VA(pte & PGNUMMASK);
153 PAlloc_Release((void *)DMPA2VA(pte & PGNUMMASK));
224 PageEntry pte;
232 pte = table->entries[i];
233 if (pte == 0) {
234 ASSERT(pte);
237 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
239 pte = table->entries[j];
241 if (pte == 0) {
242 ASSERT(pte);
245 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
247 pte = table->entries[k];
248 if ((pte & PTE_PS) == PTE_PS) {
253 if (pte == 0) {
254 ASSERT(pte);
257 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
282 PageEntry pte;
291 pte = table->entries[i];
292 if (pte == 0) {
297 pte = DMVA2PA((uint64_t)newtable) | PTE_P | PTE_W | PTE_U;
298 table->entries[i] = pte;
300 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
302 pte = table->entries[j];
308 if (pte == 0) {
313 pte = DMVA2PA((uint64_t)newtable) | PTE_P | PTE_W | PTE_U;
314 table->entries[j] = pte;
316 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
318 pte = table->entries[k];
324 if (pte == 0) {
329 pte = DMVA2PA((uint64_t)newtable) | PTE_P | PTE_W | PTE_U;
330 table->entries[k] = pte;
332 table = (PageTable *)DMPA2VA(pte & PGNUMMASK);
563 PageEntry pte = root->entries[i];
564 PageTable *l1 = (PageTable *)DMPA2VA(pte & PGNUMMASK);
566 if (!(pte & PTE_P))
569 kprintf("Level 1: %016llx\n", (uint64_t)pte);
626 PageEntry pte = root->entries[i];
627 PageTable *l1 = (PageTable *)DMPA2VA(pte & PGNUMMASK);
629 if (!(pte & PTE_P))