Lines Matching defs:pte
1228 static void print_pte(Monitor *mon, uint32_t addr, uint32_t pte, uint32_t mask)
1232 pte & mask,
1233 pte & PG_GLOBAL_MASK ? 'G' : '-',
1234 pte & PG_PSE_MASK ? 'P' : '-',
1235 pte & PG_DIRTY_MASK ? 'D' : '-',
1236 pte & PG_ACCESSED_MASK ? 'A' : '-',
1237 pte & PG_PCD_MASK ? 'C' : '-',
1238 pte & PG_PWT_MASK ? 'T' : '-',
1239 pte & PG_USER_MASK ? 'U' : '-',
1240 pte & PG_RW_MASK ? 'W' : '-');
1247 uint32_t pgd, pde, pte;
1267 (uint8_t *)&pte, 4);
1268 pte = le32_to_cpu(pte);
1269 if (pte & PG_PRESENT_MASK) {
1271 pte & ~PG_PSE_MASK,
1305 uint32_t pgd, pde, pte, start, end;
1329 (uint8_t *)&pte, 4);
1330 pte = le32_to_cpu(pte);
1332 if (pte & PG_PRESENT_MASK) {
1333 prot = pte & (PG_USER_MASK | PG_RW_MASK | PG_PRESENT_MASK);
