1*e7f2670fSClaudio Fontana /* 2*e7f2670fSClaudio Fontana * x86 exception helpers - sysemu code 3*e7f2670fSClaudio Fontana * 4*e7f2670fSClaudio Fontana * Copyright (c) 2003 Fabrice Bellard 5*e7f2670fSClaudio Fontana * 6*e7f2670fSClaudio Fontana * This library is free software; you can redistribute it and/or 7*e7f2670fSClaudio Fontana * modify it under the terms of the GNU Lesser General Public 8*e7f2670fSClaudio Fontana * License as published by the Free Software Foundation; either 9*e7f2670fSClaudio Fontana * version 2.1 of the License, or (at your option) any later version. 10*e7f2670fSClaudio Fontana * 11*e7f2670fSClaudio Fontana * This library is distributed in the hope that it will be useful, 12*e7f2670fSClaudio Fontana * but WITHOUT ANY WARRANTY; without even the implied warranty of 13*e7f2670fSClaudio Fontana * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14*e7f2670fSClaudio Fontana * Lesser General Public License for more details. 15*e7f2670fSClaudio Fontana * 16*e7f2670fSClaudio Fontana * You should have received a copy of the GNU Lesser General Public 17*e7f2670fSClaudio Fontana * License along with this library; if not, see <http://www.gnu.org/licenses/>. 18*e7f2670fSClaudio Fontana */ 19*e7f2670fSClaudio Fontana 20*e7f2670fSClaudio Fontana #include "qemu/osdep.h" 21*e7f2670fSClaudio Fontana #include "cpu.h" 22*e7f2670fSClaudio Fontana #include "tcg/helper-tcg.h" 23*e7f2670fSClaudio Fontana 24*e7f2670fSClaudio Fontana static hwaddr get_hphys(CPUState *cs, hwaddr gphys, MMUAccessType access_type, 25*e7f2670fSClaudio Fontana int *prot) 26*e7f2670fSClaudio Fontana { 27*e7f2670fSClaudio Fontana X86CPU *cpu = X86_CPU(cs); 28*e7f2670fSClaudio Fontana CPUX86State *env = &cpu->env; 29*e7f2670fSClaudio Fontana uint64_t rsvd_mask = PG_ADDRESS_MASK & ~MAKE_64BIT_MASK(0, cpu->phys_bits); 30*e7f2670fSClaudio Fontana uint64_t ptep, pte; 31*e7f2670fSClaudio Fontana uint64_t exit_info_1 = 0; 32*e7f2670fSClaudio Fontana target_ulong pde_addr, pte_addr; 33*e7f2670fSClaudio Fontana uint32_t page_offset; 34*e7f2670fSClaudio Fontana int page_size; 35*e7f2670fSClaudio Fontana 36*e7f2670fSClaudio Fontana if (likely(!(env->hflags2 & HF2_NPT_MASK))) { 37*e7f2670fSClaudio Fontana return gphys; 38*e7f2670fSClaudio Fontana } 39*e7f2670fSClaudio Fontana 40*e7f2670fSClaudio Fontana if (!(env->nested_pg_mode & SVM_NPT_NXE)) { 41*e7f2670fSClaudio Fontana rsvd_mask |= PG_NX_MASK; 42*e7f2670fSClaudio Fontana } 43*e7f2670fSClaudio Fontana 44*e7f2670fSClaudio Fontana if (env->nested_pg_mode & SVM_NPT_PAE) { 45*e7f2670fSClaudio Fontana uint64_t pde, pdpe; 46*e7f2670fSClaudio Fontana target_ulong pdpe_addr; 47*e7f2670fSClaudio Fontana 48*e7f2670fSClaudio Fontana #ifdef TARGET_X86_64 49*e7f2670fSClaudio Fontana if (env->nested_pg_mode & SVM_NPT_LMA) { 50*e7f2670fSClaudio Fontana uint64_t pml5e; 51*e7f2670fSClaudio Fontana uint64_t pml4e_addr, pml4e; 52*e7f2670fSClaudio Fontana 53*e7f2670fSClaudio Fontana pml5e = env->nested_cr3; 54*e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 55*e7f2670fSClaudio Fontana 56*e7f2670fSClaudio Fontana pml4e_addr = (pml5e & PG_ADDRESS_MASK) + 57*e7f2670fSClaudio Fontana (((gphys >> 39) & 0x1ff) << 3); 58*e7f2670fSClaudio Fontana pml4e = x86_ldq_phys(cs, pml4e_addr); 59*e7f2670fSClaudio Fontana if (!(pml4e & PG_PRESENT_MASK)) { 60*e7f2670fSClaudio Fontana goto do_fault; 61*e7f2670fSClaudio Fontana } 62*e7f2670fSClaudio Fontana if (pml4e & (rsvd_mask | PG_PSE_MASK)) { 63*e7f2670fSClaudio Fontana goto do_fault_rsvd; 64*e7f2670fSClaudio Fontana } 65*e7f2670fSClaudio Fontana if (!(pml4e & PG_ACCESSED_MASK)) { 66*e7f2670fSClaudio Fontana pml4e |= PG_ACCESSED_MASK; 67*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pml4e_addr, pml4e); 68*e7f2670fSClaudio Fontana } 69*e7f2670fSClaudio Fontana ptep &= pml4e ^ PG_NX_MASK; 70*e7f2670fSClaudio Fontana pdpe_addr = (pml4e & PG_ADDRESS_MASK) + 71*e7f2670fSClaudio Fontana (((gphys >> 30) & 0x1ff) << 3); 72*e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 73*e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 74*e7f2670fSClaudio Fontana goto do_fault; 75*e7f2670fSClaudio Fontana } 76*e7f2670fSClaudio Fontana if (pdpe & rsvd_mask) { 77*e7f2670fSClaudio Fontana goto do_fault_rsvd; 78*e7f2670fSClaudio Fontana } 79*e7f2670fSClaudio Fontana ptep &= pdpe ^ PG_NX_MASK; 80*e7f2670fSClaudio Fontana if (!(pdpe & PG_ACCESSED_MASK)) { 81*e7f2670fSClaudio Fontana pdpe |= PG_ACCESSED_MASK; 82*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pdpe_addr, pdpe); 83*e7f2670fSClaudio Fontana } 84*e7f2670fSClaudio Fontana if (pdpe & PG_PSE_MASK) { 85*e7f2670fSClaudio Fontana /* 1 GB page */ 86*e7f2670fSClaudio Fontana page_size = 1024 * 1024 * 1024; 87*e7f2670fSClaudio Fontana pte_addr = pdpe_addr; 88*e7f2670fSClaudio Fontana pte = pdpe; 89*e7f2670fSClaudio Fontana goto do_check_protect; 90*e7f2670fSClaudio Fontana } 91*e7f2670fSClaudio Fontana } else 92*e7f2670fSClaudio Fontana #endif 93*e7f2670fSClaudio Fontana { 94*e7f2670fSClaudio Fontana pdpe_addr = (env->nested_cr3 & ~0x1f) + ((gphys >> 27) & 0x18); 95*e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 96*e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 97*e7f2670fSClaudio Fontana goto do_fault; 98*e7f2670fSClaudio Fontana } 99*e7f2670fSClaudio Fontana rsvd_mask |= PG_HI_USER_MASK; 100*e7f2670fSClaudio Fontana if (pdpe & (rsvd_mask | PG_NX_MASK)) { 101*e7f2670fSClaudio Fontana goto do_fault_rsvd; 102*e7f2670fSClaudio Fontana } 103*e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 104*e7f2670fSClaudio Fontana } 105*e7f2670fSClaudio Fontana 106*e7f2670fSClaudio Fontana pde_addr = (pdpe & PG_ADDRESS_MASK) + (((gphys >> 21) & 0x1ff) << 3); 107*e7f2670fSClaudio Fontana pde = x86_ldq_phys(cs, pde_addr); 108*e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 109*e7f2670fSClaudio Fontana goto do_fault; 110*e7f2670fSClaudio Fontana } 111*e7f2670fSClaudio Fontana if (pde & rsvd_mask) { 112*e7f2670fSClaudio Fontana goto do_fault_rsvd; 113*e7f2670fSClaudio Fontana } 114*e7f2670fSClaudio Fontana ptep &= pde ^ PG_NX_MASK; 115*e7f2670fSClaudio Fontana if (pde & PG_PSE_MASK) { 116*e7f2670fSClaudio Fontana /* 2 MB page */ 117*e7f2670fSClaudio Fontana page_size = 2048 * 1024; 118*e7f2670fSClaudio Fontana pte_addr = pde_addr; 119*e7f2670fSClaudio Fontana pte = pde; 120*e7f2670fSClaudio Fontana goto do_check_protect; 121*e7f2670fSClaudio Fontana } 122*e7f2670fSClaudio Fontana /* 4 KB page */ 123*e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 124*e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 125*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 126*e7f2670fSClaudio Fontana } 127*e7f2670fSClaudio Fontana pte_addr = (pde & PG_ADDRESS_MASK) + (((gphys >> 12) & 0x1ff) << 3); 128*e7f2670fSClaudio Fontana pte = x86_ldq_phys(cs, pte_addr); 129*e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 130*e7f2670fSClaudio Fontana goto do_fault; 131*e7f2670fSClaudio Fontana } 132*e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 133*e7f2670fSClaudio Fontana goto do_fault_rsvd; 134*e7f2670fSClaudio Fontana } 135*e7f2670fSClaudio Fontana /* combine pde and pte nx, user and rw protections */ 136*e7f2670fSClaudio Fontana ptep &= pte ^ PG_NX_MASK; 137*e7f2670fSClaudio Fontana page_size = 4096; 138*e7f2670fSClaudio Fontana } else { 139*e7f2670fSClaudio Fontana uint32_t pde; 140*e7f2670fSClaudio Fontana 141*e7f2670fSClaudio Fontana /* page directory entry */ 142*e7f2670fSClaudio Fontana pde_addr = (env->nested_cr3 & ~0xfff) + ((gphys >> 20) & 0xffc); 143*e7f2670fSClaudio Fontana pde = x86_ldl_phys(cs, pde_addr); 144*e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 145*e7f2670fSClaudio Fontana goto do_fault; 146*e7f2670fSClaudio Fontana } 147*e7f2670fSClaudio Fontana ptep = pde | PG_NX_MASK; 148*e7f2670fSClaudio Fontana 149*e7f2670fSClaudio Fontana /* if host cr4 PSE bit is set, then we use a 4MB page */ 150*e7f2670fSClaudio Fontana if ((pde & PG_PSE_MASK) && (env->nested_pg_mode & SVM_NPT_PSE)) { 151*e7f2670fSClaudio Fontana page_size = 4096 * 1024; 152*e7f2670fSClaudio Fontana pte_addr = pde_addr; 153*e7f2670fSClaudio Fontana 154*e7f2670fSClaudio Fontana /* Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved. 155*e7f2670fSClaudio Fontana * Leave bits 20-13 in place for setting accessed/dirty bits below. 156*e7f2670fSClaudio Fontana */ 157*e7f2670fSClaudio Fontana pte = pde | ((pde & 0x1fe000LL) << (32 - 13)); 158*e7f2670fSClaudio Fontana rsvd_mask = 0x200000; 159*e7f2670fSClaudio Fontana goto do_check_protect_pse36; 160*e7f2670fSClaudio Fontana } 161*e7f2670fSClaudio Fontana 162*e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 163*e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 164*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 165*e7f2670fSClaudio Fontana } 166*e7f2670fSClaudio Fontana 167*e7f2670fSClaudio Fontana /* page directory entry */ 168*e7f2670fSClaudio Fontana pte_addr = (pde & ~0xfff) + ((gphys >> 10) & 0xffc); 169*e7f2670fSClaudio Fontana pte = x86_ldl_phys(cs, pte_addr); 170*e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 171*e7f2670fSClaudio Fontana goto do_fault; 172*e7f2670fSClaudio Fontana } 173*e7f2670fSClaudio Fontana /* combine pde and pte user and rw protections */ 174*e7f2670fSClaudio Fontana ptep &= pte | PG_NX_MASK; 175*e7f2670fSClaudio Fontana page_size = 4096; 176*e7f2670fSClaudio Fontana rsvd_mask = 0; 177*e7f2670fSClaudio Fontana } 178*e7f2670fSClaudio Fontana 179*e7f2670fSClaudio Fontana do_check_protect: 180*e7f2670fSClaudio Fontana rsvd_mask |= (page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK; 181*e7f2670fSClaudio Fontana do_check_protect_pse36: 182*e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 183*e7f2670fSClaudio Fontana goto do_fault_rsvd; 184*e7f2670fSClaudio Fontana } 185*e7f2670fSClaudio Fontana ptep ^= PG_NX_MASK; 186*e7f2670fSClaudio Fontana 187*e7f2670fSClaudio Fontana if (!(ptep & PG_USER_MASK)) { 188*e7f2670fSClaudio Fontana goto do_fault_protect; 189*e7f2670fSClaudio Fontana } 190*e7f2670fSClaudio Fontana if (ptep & PG_NX_MASK) { 191*e7f2670fSClaudio Fontana if (access_type == MMU_INST_FETCH) { 192*e7f2670fSClaudio Fontana goto do_fault_protect; 193*e7f2670fSClaudio Fontana } 194*e7f2670fSClaudio Fontana *prot &= ~PAGE_EXEC; 195*e7f2670fSClaudio Fontana } 196*e7f2670fSClaudio Fontana if (!(ptep & PG_RW_MASK)) { 197*e7f2670fSClaudio Fontana if (access_type == MMU_DATA_STORE) { 198*e7f2670fSClaudio Fontana goto do_fault_protect; 199*e7f2670fSClaudio Fontana } 200*e7f2670fSClaudio Fontana *prot &= ~PAGE_WRITE; 201*e7f2670fSClaudio Fontana } 202*e7f2670fSClaudio Fontana 203*e7f2670fSClaudio Fontana pte &= PG_ADDRESS_MASK & ~(page_size - 1); 204*e7f2670fSClaudio Fontana page_offset = gphys & (page_size - 1); 205*e7f2670fSClaudio Fontana return pte + page_offset; 206*e7f2670fSClaudio Fontana 207*e7f2670fSClaudio Fontana do_fault_rsvd: 208*e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_RSVD; 209*e7f2670fSClaudio Fontana do_fault_protect: 210*e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_P; 211*e7f2670fSClaudio Fontana do_fault: 212*e7f2670fSClaudio Fontana x86_stq_phys(cs, env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2), 213*e7f2670fSClaudio Fontana gphys); 214*e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_US; 215*e7f2670fSClaudio Fontana if (access_type == MMU_DATA_STORE) { 216*e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_RW; 217*e7f2670fSClaudio Fontana } else if (access_type == MMU_INST_FETCH) { 218*e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_ID; 219*e7f2670fSClaudio Fontana } 220*e7f2670fSClaudio Fontana if (prot) { 221*e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_GPA; 222*e7f2670fSClaudio Fontana } else { /* page table access */ 223*e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_GPT; 224*e7f2670fSClaudio Fontana } 225*e7f2670fSClaudio Fontana cpu_vmexit(env, SVM_EXIT_NPF, exit_info_1, env->retaddr); 226*e7f2670fSClaudio Fontana } 227*e7f2670fSClaudio Fontana 228*e7f2670fSClaudio Fontana /* return value: 229*e7f2670fSClaudio Fontana * -1 = cannot handle fault 230*e7f2670fSClaudio Fontana * 0 = nothing more to do 231*e7f2670fSClaudio Fontana * 1 = generate PF fault 232*e7f2670fSClaudio Fontana */ 233*e7f2670fSClaudio Fontana static int handle_mmu_fault(CPUState *cs, vaddr addr, int size, 234*e7f2670fSClaudio Fontana int is_write1, int mmu_idx) 235*e7f2670fSClaudio Fontana { 236*e7f2670fSClaudio Fontana X86CPU *cpu = X86_CPU(cs); 237*e7f2670fSClaudio Fontana CPUX86State *env = &cpu->env; 238*e7f2670fSClaudio Fontana uint64_t ptep, pte; 239*e7f2670fSClaudio Fontana int32_t a20_mask; 240*e7f2670fSClaudio Fontana target_ulong pde_addr, pte_addr; 241*e7f2670fSClaudio Fontana int error_code = 0; 242*e7f2670fSClaudio Fontana int is_dirty, prot, page_size, is_write, is_user; 243*e7f2670fSClaudio Fontana hwaddr paddr; 244*e7f2670fSClaudio Fontana uint64_t rsvd_mask = PG_ADDRESS_MASK & ~MAKE_64BIT_MASK(0, cpu->phys_bits); 245*e7f2670fSClaudio Fontana uint32_t page_offset; 246*e7f2670fSClaudio Fontana target_ulong vaddr; 247*e7f2670fSClaudio Fontana uint32_t pkr; 248*e7f2670fSClaudio Fontana 249*e7f2670fSClaudio Fontana is_user = mmu_idx == MMU_USER_IDX; 250*e7f2670fSClaudio Fontana #if defined(DEBUG_MMU) 251*e7f2670fSClaudio Fontana printf("MMU fault: addr=%" VADDR_PRIx " w=%d u=%d eip=" TARGET_FMT_lx "\n", 252*e7f2670fSClaudio Fontana addr, is_write1, is_user, env->eip); 253*e7f2670fSClaudio Fontana #endif 254*e7f2670fSClaudio Fontana is_write = is_write1 & 1; 255*e7f2670fSClaudio Fontana 256*e7f2670fSClaudio Fontana a20_mask = x86_get_a20_mask(env); 257*e7f2670fSClaudio Fontana if (!(env->cr[0] & CR0_PG_MASK)) { 258*e7f2670fSClaudio Fontana pte = addr; 259*e7f2670fSClaudio Fontana #ifdef TARGET_X86_64 260*e7f2670fSClaudio Fontana if (!(env->hflags & HF_LMA_MASK)) { 261*e7f2670fSClaudio Fontana /* Without long mode we can only address 32bits in real mode */ 262*e7f2670fSClaudio Fontana pte = (uint32_t)pte; 263*e7f2670fSClaudio Fontana } 264*e7f2670fSClaudio Fontana #endif 265*e7f2670fSClaudio Fontana prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 266*e7f2670fSClaudio Fontana page_size = 4096; 267*e7f2670fSClaudio Fontana goto do_mapping; 268*e7f2670fSClaudio Fontana } 269*e7f2670fSClaudio Fontana 270*e7f2670fSClaudio Fontana if (!(env->efer & MSR_EFER_NXE)) { 271*e7f2670fSClaudio Fontana rsvd_mask |= PG_NX_MASK; 272*e7f2670fSClaudio Fontana } 273*e7f2670fSClaudio Fontana 274*e7f2670fSClaudio Fontana if (env->cr[4] & CR4_PAE_MASK) { 275*e7f2670fSClaudio Fontana uint64_t pde, pdpe; 276*e7f2670fSClaudio Fontana target_ulong pdpe_addr; 277*e7f2670fSClaudio Fontana 278*e7f2670fSClaudio Fontana #ifdef TARGET_X86_64 279*e7f2670fSClaudio Fontana if (env->hflags & HF_LMA_MASK) { 280*e7f2670fSClaudio Fontana bool la57 = env->cr[4] & CR4_LA57_MASK; 281*e7f2670fSClaudio Fontana uint64_t pml5e_addr, pml5e; 282*e7f2670fSClaudio Fontana uint64_t pml4e_addr, pml4e; 283*e7f2670fSClaudio Fontana int32_t sext; 284*e7f2670fSClaudio Fontana 285*e7f2670fSClaudio Fontana /* test virtual address sign extension */ 286*e7f2670fSClaudio Fontana sext = la57 ? (int64_t)addr >> 56 : (int64_t)addr >> 47; 287*e7f2670fSClaudio Fontana if (sext != 0 && sext != -1) { 288*e7f2670fSClaudio Fontana env->error_code = 0; 289*e7f2670fSClaudio Fontana cs->exception_index = EXCP0D_GPF; 290*e7f2670fSClaudio Fontana return 1; 291*e7f2670fSClaudio Fontana } 292*e7f2670fSClaudio Fontana 293*e7f2670fSClaudio Fontana if (la57) { 294*e7f2670fSClaudio Fontana pml5e_addr = ((env->cr[3] & ~0xfff) + 295*e7f2670fSClaudio Fontana (((addr >> 48) & 0x1ff) << 3)) & a20_mask; 296*e7f2670fSClaudio Fontana pml5e_addr = get_hphys(cs, pml5e_addr, MMU_DATA_STORE, NULL); 297*e7f2670fSClaudio Fontana pml5e = x86_ldq_phys(cs, pml5e_addr); 298*e7f2670fSClaudio Fontana if (!(pml5e & PG_PRESENT_MASK)) { 299*e7f2670fSClaudio Fontana goto do_fault; 300*e7f2670fSClaudio Fontana } 301*e7f2670fSClaudio Fontana if (pml5e & (rsvd_mask | PG_PSE_MASK)) { 302*e7f2670fSClaudio Fontana goto do_fault_rsvd; 303*e7f2670fSClaudio Fontana } 304*e7f2670fSClaudio Fontana if (!(pml5e & PG_ACCESSED_MASK)) { 305*e7f2670fSClaudio Fontana pml5e |= PG_ACCESSED_MASK; 306*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pml5e_addr, pml5e); 307*e7f2670fSClaudio Fontana } 308*e7f2670fSClaudio Fontana ptep = pml5e ^ PG_NX_MASK; 309*e7f2670fSClaudio Fontana } else { 310*e7f2670fSClaudio Fontana pml5e = env->cr[3]; 311*e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 312*e7f2670fSClaudio Fontana } 313*e7f2670fSClaudio Fontana 314*e7f2670fSClaudio Fontana pml4e_addr = ((pml5e & PG_ADDRESS_MASK) + 315*e7f2670fSClaudio Fontana (((addr >> 39) & 0x1ff) << 3)) & a20_mask; 316*e7f2670fSClaudio Fontana pml4e_addr = get_hphys(cs, pml4e_addr, MMU_DATA_STORE, false); 317*e7f2670fSClaudio Fontana pml4e = x86_ldq_phys(cs, pml4e_addr); 318*e7f2670fSClaudio Fontana if (!(pml4e & PG_PRESENT_MASK)) { 319*e7f2670fSClaudio Fontana goto do_fault; 320*e7f2670fSClaudio Fontana } 321*e7f2670fSClaudio Fontana if (pml4e & (rsvd_mask | PG_PSE_MASK)) { 322*e7f2670fSClaudio Fontana goto do_fault_rsvd; 323*e7f2670fSClaudio Fontana } 324*e7f2670fSClaudio Fontana if (!(pml4e & PG_ACCESSED_MASK)) { 325*e7f2670fSClaudio Fontana pml4e |= PG_ACCESSED_MASK; 326*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pml4e_addr, pml4e); 327*e7f2670fSClaudio Fontana } 328*e7f2670fSClaudio Fontana ptep &= pml4e ^ PG_NX_MASK; 329*e7f2670fSClaudio Fontana pdpe_addr = ((pml4e & PG_ADDRESS_MASK) + (((addr >> 30) & 0x1ff) << 3)) & 330*e7f2670fSClaudio Fontana a20_mask; 331*e7f2670fSClaudio Fontana pdpe_addr = get_hphys(cs, pdpe_addr, MMU_DATA_STORE, NULL); 332*e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 333*e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 334*e7f2670fSClaudio Fontana goto do_fault; 335*e7f2670fSClaudio Fontana } 336*e7f2670fSClaudio Fontana if (pdpe & rsvd_mask) { 337*e7f2670fSClaudio Fontana goto do_fault_rsvd; 338*e7f2670fSClaudio Fontana } 339*e7f2670fSClaudio Fontana ptep &= pdpe ^ PG_NX_MASK; 340*e7f2670fSClaudio Fontana if (!(pdpe & PG_ACCESSED_MASK)) { 341*e7f2670fSClaudio Fontana pdpe |= PG_ACCESSED_MASK; 342*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pdpe_addr, pdpe); 343*e7f2670fSClaudio Fontana } 344*e7f2670fSClaudio Fontana if (pdpe & PG_PSE_MASK) { 345*e7f2670fSClaudio Fontana /* 1 GB page */ 346*e7f2670fSClaudio Fontana page_size = 1024 * 1024 * 1024; 347*e7f2670fSClaudio Fontana pte_addr = pdpe_addr; 348*e7f2670fSClaudio Fontana pte = pdpe; 349*e7f2670fSClaudio Fontana goto do_check_protect; 350*e7f2670fSClaudio Fontana } 351*e7f2670fSClaudio Fontana } else 352*e7f2670fSClaudio Fontana #endif 353*e7f2670fSClaudio Fontana { 354*e7f2670fSClaudio Fontana /* XXX: load them when cr3 is loaded ? */ 355*e7f2670fSClaudio Fontana pdpe_addr = ((env->cr[3] & ~0x1f) + ((addr >> 27) & 0x18)) & 356*e7f2670fSClaudio Fontana a20_mask; 357*e7f2670fSClaudio Fontana pdpe_addr = get_hphys(cs, pdpe_addr, MMU_DATA_STORE, false); 358*e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 359*e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 360*e7f2670fSClaudio Fontana goto do_fault; 361*e7f2670fSClaudio Fontana } 362*e7f2670fSClaudio Fontana rsvd_mask |= PG_HI_USER_MASK; 363*e7f2670fSClaudio Fontana if (pdpe & (rsvd_mask | PG_NX_MASK)) { 364*e7f2670fSClaudio Fontana goto do_fault_rsvd; 365*e7f2670fSClaudio Fontana } 366*e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 367*e7f2670fSClaudio Fontana } 368*e7f2670fSClaudio Fontana 369*e7f2670fSClaudio Fontana pde_addr = ((pdpe & PG_ADDRESS_MASK) + (((addr >> 21) & 0x1ff) << 3)) & 370*e7f2670fSClaudio Fontana a20_mask; 371*e7f2670fSClaudio Fontana pde_addr = get_hphys(cs, pde_addr, MMU_DATA_STORE, NULL); 372*e7f2670fSClaudio Fontana pde = x86_ldq_phys(cs, pde_addr); 373*e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 374*e7f2670fSClaudio Fontana goto do_fault; 375*e7f2670fSClaudio Fontana } 376*e7f2670fSClaudio Fontana if (pde & rsvd_mask) { 377*e7f2670fSClaudio Fontana goto do_fault_rsvd; 378*e7f2670fSClaudio Fontana } 379*e7f2670fSClaudio Fontana ptep &= pde ^ PG_NX_MASK; 380*e7f2670fSClaudio Fontana if (pde & PG_PSE_MASK) { 381*e7f2670fSClaudio Fontana /* 2 MB page */ 382*e7f2670fSClaudio Fontana page_size = 2048 * 1024; 383*e7f2670fSClaudio Fontana pte_addr = pde_addr; 384*e7f2670fSClaudio Fontana pte = pde; 385*e7f2670fSClaudio Fontana goto do_check_protect; 386*e7f2670fSClaudio Fontana } 387*e7f2670fSClaudio Fontana /* 4 KB page */ 388*e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 389*e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 390*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 391*e7f2670fSClaudio Fontana } 392*e7f2670fSClaudio Fontana pte_addr = ((pde & PG_ADDRESS_MASK) + (((addr >> 12) & 0x1ff) << 3)) & 393*e7f2670fSClaudio Fontana a20_mask; 394*e7f2670fSClaudio Fontana pte_addr = get_hphys(cs, pte_addr, MMU_DATA_STORE, NULL); 395*e7f2670fSClaudio Fontana pte = x86_ldq_phys(cs, pte_addr); 396*e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 397*e7f2670fSClaudio Fontana goto do_fault; 398*e7f2670fSClaudio Fontana } 399*e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 400*e7f2670fSClaudio Fontana goto do_fault_rsvd; 401*e7f2670fSClaudio Fontana } 402*e7f2670fSClaudio Fontana /* combine pde and pte nx, user and rw protections */ 403*e7f2670fSClaudio Fontana ptep &= pte ^ PG_NX_MASK; 404*e7f2670fSClaudio Fontana page_size = 4096; 405*e7f2670fSClaudio Fontana } else { 406*e7f2670fSClaudio Fontana uint32_t pde; 407*e7f2670fSClaudio Fontana 408*e7f2670fSClaudio Fontana /* page directory entry */ 409*e7f2670fSClaudio Fontana pde_addr = ((env->cr[3] & ~0xfff) + ((addr >> 20) & 0xffc)) & 410*e7f2670fSClaudio Fontana a20_mask; 411*e7f2670fSClaudio Fontana pde_addr = get_hphys(cs, pde_addr, MMU_DATA_STORE, NULL); 412*e7f2670fSClaudio Fontana pde = x86_ldl_phys(cs, pde_addr); 413*e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 414*e7f2670fSClaudio Fontana goto do_fault; 415*e7f2670fSClaudio Fontana } 416*e7f2670fSClaudio Fontana ptep = pde | PG_NX_MASK; 417*e7f2670fSClaudio Fontana 418*e7f2670fSClaudio Fontana /* if PSE bit is set, then we use a 4MB page */ 419*e7f2670fSClaudio Fontana if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) { 420*e7f2670fSClaudio Fontana page_size = 4096 * 1024; 421*e7f2670fSClaudio Fontana pte_addr = pde_addr; 422*e7f2670fSClaudio Fontana 423*e7f2670fSClaudio Fontana /* Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved. 424*e7f2670fSClaudio Fontana * Leave bits 20-13 in place for setting accessed/dirty bits below. 425*e7f2670fSClaudio Fontana */ 426*e7f2670fSClaudio Fontana pte = pde | ((pde & 0x1fe000LL) << (32 - 13)); 427*e7f2670fSClaudio Fontana rsvd_mask = 0x200000; 428*e7f2670fSClaudio Fontana goto do_check_protect_pse36; 429*e7f2670fSClaudio Fontana } 430*e7f2670fSClaudio Fontana 431*e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 432*e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 433*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 434*e7f2670fSClaudio Fontana } 435*e7f2670fSClaudio Fontana 436*e7f2670fSClaudio Fontana /* page directory entry */ 437*e7f2670fSClaudio Fontana pte_addr = ((pde & ~0xfff) + ((addr >> 10) & 0xffc)) & 438*e7f2670fSClaudio Fontana a20_mask; 439*e7f2670fSClaudio Fontana pte_addr = get_hphys(cs, pte_addr, MMU_DATA_STORE, NULL); 440*e7f2670fSClaudio Fontana pte = x86_ldl_phys(cs, pte_addr); 441*e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 442*e7f2670fSClaudio Fontana goto do_fault; 443*e7f2670fSClaudio Fontana } 444*e7f2670fSClaudio Fontana /* combine pde and pte user and rw protections */ 445*e7f2670fSClaudio Fontana ptep &= pte | PG_NX_MASK; 446*e7f2670fSClaudio Fontana page_size = 4096; 447*e7f2670fSClaudio Fontana rsvd_mask = 0; 448*e7f2670fSClaudio Fontana } 449*e7f2670fSClaudio Fontana 450*e7f2670fSClaudio Fontana do_check_protect: 451*e7f2670fSClaudio Fontana rsvd_mask |= (page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK; 452*e7f2670fSClaudio Fontana do_check_protect_pse36: 453*e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 454*e7f2670fSClaudio Fontana goto do_fault_rsvd; 455*e7f2670fSClaudio Fontana } 456*e7f2670fSClaudio Fontana ptep ^= PG_NX_MASK; 457*e7f2670fSClaudio Fontana 458*e7f2670fSClaudio Fontana /* can the page can be put in the TLB? prot will tell us */ 459*e7f2670fSClaudio Fontana if (is_user && !(ptep & PG_USER_MASK)) { 460*e7f2670fSClaudio Fontana goto do_fault_protect; 461*e7f2670fSClaudio Fontana } 462*e7f2670fSClaudio Fontana 463*e7f2670fSClaudio Fontana prot = 0; 464*e7f2670fSClaudio Fontana if (mmu_idx != MMU_KSMAP_IDX || !(ptep & PG_USER_MASK)) { 465*e7f2670fSClaudio Fontana prot |= PAGE_READ; 466*e7f2670fSClaudio Fontana if ((ptep & PG_RW_MASK) || (!is_user && !(env->cr[0] & CR0_WP_MASK))) { 467*e7f2670fSClaudio Fontana prot |= PAGE_WRITE; 468*e7f2670fSClaudio Fontana } 469*e7f2670fSClaudio Fontana } 470*e7f2670fSClaudio Fontana if (!(ptep & PG_NX_MASK) && 471*e7f2670fSClaudio Fontana (mmu_idx == MMU_USER_IDX || 472*e7f2670fSClaudio Fontana !((env->cr[4] & CR4_SMEP_MASK) && (ptep & PG_USER_MASK)))) { 473*e7f2670fSClaudio Fontana prot |= PAGE_EXEC; 474*e7f2670fSClaudio Fontana } 475*e7f2670fSClaudio Fontana 476*e7f2670fSClaudio Fontana if (!(env->hflags & HF_LMA_MASK)) { 477*e7f2670fSClaudio Fontana pkr = 0; 478*e7f2670fSClaudio Fontana } else if (ptep & PG_USER_MASK) { 479*e7f2670fSClaudio Fontana pkr = env->cr[4] & CR4_PKE_MASK ? env->pkru : 0; 480*e7f2670fSClaudio Fontana } else { 481*e7f2670fSClaudio Fontana pkr = env->cr[4] & CR4_PKS_MASK ? env->pkrs : 0; 482*e7f2670fSClaudio Fontana } 483*e7f2670fSClaudio Fontana if (pkr) { 484*e7f2670fSClaudio Fontana uint32_t pk = (pte & PG_PKRU_MASK) >> PG_PKRU_BIT; 485*e7f2670fSClaudio Fontana uint32_t pkr_ad = (pkr >> pk * 2) & 1; 486*e7f2670fSClaudio Fontana uint32_t pkr_wd = (pkr >> pk * 2) & 2; 487*e7f2670fSClaudio Fontana uint32_t pkr_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 488*e7f2670fSClaudio Fontana 489*e7f2670fSClaudio Fontana if (pkr_ad) { 490*e7f2670fSClaudio Fontana pkr_prot &= ~(PAGE_READ | PAGE_WRITE); 491*e7f2670fSClaudio Fontana } else if (pkr_wd && (is_user || env->cr[0] & CR0_WP_MASK)) { 492*e7f2670fSClaudio Fontana pkr_prot &= ~PAGE_WRITE; 493*e7f2670fSClaudio Fontana } 494*e7f2670fSClaudio Fontana 495*e7f2670fSClaudio Fontana prot &= pkr_prot; 496*e7f2670fSClaudio Fontana if ((pkr_prot & (1 << is_write1)) == 0) { 497*e7f2670fSClaudio Fontana assert(is_write1 != 2); 498*e7f2670fSClaudio Fontana error_code |= PG_ERROR_PK_MASK; 499*e7f2670fSClaudio Fontana goto do_fault_protect; 500*e7f2670fSClaudio Fontana } 501*e7f2670fSClaudio Fontana } 502*e7f2670fSClaudio Fontana 503*e7f2670fSClaudio Fontana if ((prot & (1 << is_write1)) == 0) { 504*e7f2670fSClaudio Fontana goto do_fault_protect; 505*e7f2670fSClaudio Fontana } 506*e7f2670fSClaudio Fontana 507*e7f2670fSClaudio Fontana /* yes, it can! */ 508*e7f2670fSClaudio Fontana is_dirty = is_write && !(pte & PG_DIRTY_MASK); 509*e7f2670fSClaudio Fontana if (!(pte & PG_ACCESSED_MASK) || is_dirty) { 510*e7f2670fSClaudio Fontana pte |= PG_ACCESSED_MASK; 511*e7f2670fSClaudio Fontana if (is_dirty) { 512*e7f2670fSClaudio Fontana pte |= PG_DIRTY_MASK; 513*e7f2670fSClaudio Fontana } 514*e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pte_addr, pte); 515*e7f2670fSClaudio Fontana } 516*e7f2670fSClaudio Fontana 517*e7f2670fSClaudio Fontana if (!(pte & PG_DIRTY_MASK)) { 518*e7f2670fSClaudio Fontana /* only set write access if already dirty... otherwise wait 519*e7f2670fSClaudio Fontana for dirty access */ 520*e7f2670fSClaudio Fontana assert(!is_write); 521*e7f2670fSClaudio Fontana prot &= ~PAGE_WRITE; 522*e7f2670fSClaudio Fontana } 523*e7f2670fSClaudio Fontana 524*e7f2670fSClaudio Fontana do_mapping: 525*e7f2670fSClaudio Fontana pte = pte & a20_mask; 526*e7f2670fSClaudio Fontana 527*e7f2670fSClaudio Fontana /* align to page_size */ 528*e7f2670fSClaudio Fontana pte &= PG_ADDRESS_MASK & ~(page_size - 1); 529*e7f2670fSClaudio Fontana page_offset = addr & (page_size - 1); 530*e7f2670fSClaudio Fontana paddr = get_hphys(cs, pte + page_offset, is_write1, &prot); 531*e7f2670fSClaudio Fontana 532*e7f2670fSClaudio Fontana /* Even if 4MB pages, we map only one 4KB page in the cache to 533*e7f2670fSClaudio Fontana avoid filling it too fast */ 534*e7f2670fSClaudio Fontana vaddr = addr & TARGET_PAGE_MASK; 535*e7f2670fSClaudio Fontana paddr &= TARGET_PAGE_MASK; 536*e7f2670fSClaudio Fontana 537*e7f2670fSClaudio Fontana assert(prot & (1 << is_write1)); 538*e7f2670fSClaudio Fontana tlb_set_page_with_attrs(cs, vaddr, paddr, cpu_get_mem_attrs(env), 539*e7f2670fSClaudio Fontana prot, mmu_idx, page_size); 540*e7f2670fSClaudio Fontana return 0; 541*e7f2670fSClaudio Fontana do_fault_rsvd: 542*e7f2670fSClaudio Fontana error_code |= PG_ERROR_RSVD_MASK; 543*e7f2670fSClaudio Fontana do_fault_protect: 544*e7f2670fSClaudio Fontana error_code |= PG_ERROR_P_MASK; 545*e7f2670fSClaudio Fontana do_fault: 546*e7f2670fSClaudio Fontana error_code |= (is_write << PG_ERROR_W_BIT); 547*e7f2670fSClaudio Fontana if (is_user) 548*e7f2670fSClaudio Fontana error_code |= PG_ERROR_U_MASK; 549*e7f2670fSClaudio Fontana if (is_write1 == 2 && 550*e7f2670fSClaudio Fontana (((env->efer & MSR_EFER_NXE) && 551*e7f2670fSClaudio Fontana (env->cr[4] & CR4_PAE_MASK)) || 552*e7f2670fSClaudio Fontana (env->cr[4] & CR4_SMEP_MASK))) 553*e7f2670fSClaudio Fontana error_code |= PG_ERROR_I_D_MASK; 554*e7f2670fSClaudio Fontana if (env->intercept_exceptions & (1 << EXCP0E_PAGE)) { 555*e7f2670fSClaudio Fontana /* cr2 is not modified in case of exceptions */ 556*e7f2670fSClaudio Fontana x86_stq_phys(cs, 557*e7f2670fSClaudio Fontana env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2), 558*e7f2670fSClaudio Fontana addr); 559*e7f2670fSClaudio Fontana } else { 560*e7f2670fSClaudio Fontana env->cr[2] = addr; 561*e7f2670fSClaudio Fontana } 562*e7f2670fSClaudio Fontana env->error_code = error_code; 563*e7f2670fSClaudio Fontana cs->exception_index = EXCP0E_PAGE; 564*e7f2670fSClaudio Fontana return 1; 565*e7f2670fSClaudio Fontana } 566*e7f2670fSClaudio Fontana 567*e7f2670fSClaudio Fontana bool x86_cpu_tlb_fill(CPUState *cs, vaddr addr, int size, 568*e7f2670fSClaudio Fontana MMUAccessType access_type, int mmu_idx, 569*e7f2670fSClaudio Fontana bool probe, uintptr_t retaddr) 570*e7f2670fSClaudio Fontana { 571*e7f2670fSClaudio Fontana X86CPU *cpu = X86_CPU(cs); 572*e7f2670fSClaudio Fontana CPUX86State *env = &cpu->env; 573*e7f2670fSClaudio Fontana 574*e7f2670fSClaudio Fontana env->retaddr = retaddr; 575*e7f2670fSClaudio Fontana if (handle_mmu_fault(cs, addr, size, access_type, mmu_idx)) { 576*e7f2670fSClaudio Fontana /* FIXME: On error in get_hphys we have already jumped out. */ 577*e7f2670fSClaudio Fontana g_assert(!probe); 578*e7f2670fSClaudio Fontana raise_exception_err_ra(env, cs->exception_index, 579*e7f2670fSClaudio Fontana env->error_code, retaddr); 580*e7f2670fSClaudio Fontana } 581*e7f2670fSClaudio Fontana return true; 582*e7f2670fSClaudio Fontana } 583