Lines Matching refs:pml4e
1012 uint64_t pml4e_addr, pml4e; in cpu_x86_handle_mmu_fault() local
1025 pml4e = ldq_phys(pml4e_addr); in cpu_x86_handle_mmu_fault()
1026 if (!(pml4e & PG_PRESENT_MASK)) { in cpu_x86_handle_mmu_fault()
1030 if (!(env->efer & MSR_EFER_NXE) && (pml4e & PG_NX_MASK)) { in cpu_x86_handle_mmu_fault()
1034 if (!(pml4e & PG_ACCESSED_MASK)) { in cpu_x86_handle_mmu_fault()
1035 pml4e |= PG_ACCESSED_MASK; in cpu_x86_handle_mmu_fault()
1036 stl_phys_notdirty(pml4e_addr, pml4e); in cpu_x86_handle_mmu_fault()
1038 ptep = pml4e ^ PG_NX_MASK; in cpu_x86_handle_mmu_fault()
1039 pdpe_addr = ((pml4e & PHYS_ADDR_MASK) + (((addr >> 30) & 0x1ff) << 3)) & in cpu_x86_handle_mmu_fault()
1285 uint64_t pml4e_addr, pml4e; in cpu_get_phys_page_debug() local
1295 pml4e = ldq_phys(pml4e_addr); in cpu_get_phys_page_debug()
1296 if (!(pml4e & PG_PRESENT_MASK)) in cpu_get_phys_page_debug()
1299 pdpe_addr = ((pml4e & ~0xfff) + (((addr >> 30) & 0x1ff) << 3)) & in cpu_get_phys_page_debug()