Lines Matching refs:pde
1247 uint32_t pgd, pde, pte; in tlb_info() local
1259 cpu_physical_memory_read(pgd + l1 * 4, (uint8_t *)&pde, 4); in tlb_info()
1260 pde = le32_to_cpu(pde); in tlb_info()
1261 if (pde & PG_PRESENT_MASK) { in tlb_info()
1262 if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) { in tlb_info()
1263 print_pte(mon, (l1 << 22), pde, ~((1 << 20) - 1)); in tlb_info()
1266 cpu_physical_memory_read((pde & ~0xfff) + l2 * 4, in tlb_info()
1305 uint32_t pgd, pde, pte, start, end; in mem_info() local
1319 cpu_physical_memory_read(pgd + l1 * 4, (uint8_t *)&pde, 4); in mem_info()
1320 pde = le32_to_cpu(pde); in mem_info()
1322 if (pde & PG_PRESENT_MASK) { in mem_info()
1323 if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) { in mem_info()
1324 prot = pde & (PG_USER_MASK | PG_RW_MASK | PG_PRESENT_MASK); in mem_info()
1328 cpu_physical_memory_read((pde & ~0xfff) + l2 * 4, in mem_info()