984     uint64_t ptep, pte;  in cpu_x86_handle_mmu_fault()  local
1038             ptep = pml4e ^ PG_NX_MASK;  in cpu_x86_handle_mmu_fault()
1050             ptep &= pdpe ^ PG_NX_MASK;  in cpu_x86_handle_mmu_fault()
1066             ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;  in cpu_x86_handle_mmu_fault()
1080         ptep &= pde ^ PG_NX_MASK;  in cpu_x86_handle_mmu_fault()
1084             ptep ^= PG_NX_MASK;  in cpu_x86_handle_mmu_fault()
1085             if ((ptep & PG_NX_MASK) && is_write1 == 2)  in cpu_x86_handle_mmu_fault()
1088                 if (!(ptep & PG_USER_MASK))  in cpu_x86_handle_mmu_fault()
1090                 if (is_write && !(ptep & PG_RW_MASK))  in cpu_x86_handle_mmu_fault()
1094                     is_write && !(ptep & PG_RW_MASK))  in cpu_x86_handle_mmu_fault()
1125             ptep &= pte ^ PG_NX_MASK;  in cpu_x86_handle_mmu_fault()
1126             ptep ^= PG_NX_MASK;  in cpu_x86_handle_mmu_fault()
1127             if ((ptep & PG_NX_MASK) && is_write1 == 2)  in cpu_x86_handle_mmu_fault()
1130                 if (!(ptep & PG_USER_MASK))  in cpu_x86_handle_mmu_fault()
1132                 if (is_write && !(ptep & PG_RW_MASK))  in cpu_x86_handle_mmu_fault()
1136                     is_write && !(ptep & PG_RW_MASK))  in cpu_x86_handle_mmu_fault()
1183             ptep = pte;  in cpu_x86_handle_mmu_fault()
1200             ptep = pte & pde;  in cpu_x86_handle_mmu_fault()
1202                 if (!(ptep & PG_USER_MASK))  in cpu_x86_handle_mmu_fault()
1204                 if (is_write && !(ptep & PG_RW_MASK))  in cpu_x86_handle_mmu_fault()
1208                     is_write && !(ptep & PG_RW_MASK))  in cpu_x86_handle_mmu_fault()
1224     if (!(ptep & PG_NX_MASK))  in cpu_x86_handle_mmu_fault()
1230             if (ptep & PG_RW_MASK)  in cpu_x86_handle_mmu_fault()
1234                 (ptep & PG_RW_MASK))  in cpu_x86_handle_mmu_fault()