Lines Matching refs:pte
144 uint64_t pte = pt[i];
145 if ((pte & 0x3) == 0x3) {
146 FreeTable(pte & kPteAddrMask, level + 1);
163 uint64_t* pte = &TableFromPa(ptPa)[index];
167 uint64_t oldPte = atomic_get64((int64*) pte);
196 if ((uint64_t) atomic_test_and_set64((int64*) pte, newTablePa | 0x3, oldPte) != oldPte)
251 uint64_t* pte = &TableFromPa(ptPa)[index];
254 uint64_t oldPte = atomic_get64((int64*) pte);
270 if ((uint64_t) atomic_test_and_set64((int64*) pte, newPte, oldPte) != oldPte)
426 uint64_t pte;
427 if (!WalkTable(fPageTable, fInitialLevel, address, &pa, &pte))
455 uint64_t pte = TableFromPa(ptPa)[index];
456 int type = pte & 0x3;
461 uint64_t addr = pte & kPteAddrMask;
467 *rpte = pte;
472 *rpte = pte;
499 uint64_t pte = 0;
500 bool ret = WalkTable(fPageTable, fInitialLevel, va, pa, &pte);
507 if ((pte & kAttrAF) != 0)
509 if ((pte & kAttrAP2) == 0)
512 if ((pte & kAttrUXN) == 0)
514 if ((pte & kAttrPXN) == 0)
519 if ((pte & kAttrAP1) != 0)
522 if ((pte & kAttrAP2) == 0 || (pte & kAttrSWDBM) != 0) {
525 if ((pte & kAttrAP1) != 0)