1e7f2670fSClaudio Fontana /* 2e7f2670fSClaudio Fontana * x86 exception helpers - sysemu code 3e7f2670fSClaudio Fontana * 4e7f2670fSClaudio Fontana * Copyright (c) 2003 Fabrice Bellard 5e7f2670fSClaudio Fontana * 6e7f2670fSClaudio Fontana * This library is free software; you can redistribute it and/or 7e7f2670fSClaudio Fontana * modify it under the terms of the GNU Lesser General Public 8e7f2670fSClaudio Fontana * License as published by the Free Software Foundation; either 9e7f2670fSClaudio Fontana * version 2.1 of the License, or (at your option) any later version. 10e7f2670fSClaudio Fontana * 11e7f2670fSClaudio Fontana * This library is distributed in the hope that it will be useful, 12e7f2670fSClaudio Fontana * but WITHOUT ANY WARRANTY; without even the implied warranty of 13e7f2670fSClaudio Fontana * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 14e7f2670fSClaudio Fontana * Lesser General Public License for more details. 15e7f2670fSClaudio Fontana * 16e7f2670fSClaudio Fontana * You should have received a copy of the GNU Lesser General Public 17e7f2670fSClaudio Fontana * License along with this library; if not, see <http://www.gnu.org/licenses/>. 18e7f2670fSClaudio Fontana */ 19e7f2670fSClaudio Fontana 20e7f2670fSClaudio Fontana #include "qemu/osdep.h" 21e7f2670fSClaudio Fontana #include "cpu.h" 22e7f2670fSClaudio Fontana #include "tcg/helper-tcg.h" 23e7f2670fSClaudio Fontana 24616a89eaSPaolo Bonzini int get_pg_mode(CPUX86State *env) 25616a89eaSPaolo Bonzini { 26616a89eaSPaolo Bonzini int pg_mode = 0; 27616a89eaSPaolo Bonzini if (env->cr[4] & CR4_PAE_MASK) { 28616a89eaSPaolo Bonzini pg_mode |= PG_MODE_PAE; 29616a89eaSPaolo Bonzini } 30616a89eaSPaolo Bonzini if (env->cr[4] & CR4_PSE_MASK) { 31616a89eaSPaolo Bonzini pg_mode |= PG_MODE_PSE; 32616a89eaSPaolo Bonzini } 33616a89eaSPaolo Bonzini if (env->hflags & HF_LMA_MASK) { 34616a89eaSPaolo Bonzini pg_mode |= PG_MODE_LMA; 35616a89eaSPaolo Bonzini } 36616a89eaSPaolo Bonzini if (env->efer & MSR_EFER_NXE) { 37616a89eaSPaolo Bonzini pg_mode |= PG_MODE_NXE; 38616a89eaSPaolo Bonzini } 39616a89eaSPaolo Bonzini return pg_mode; 40616a89eaSPaolo Bonzini } 41616a89eaSPaolo Bonzini 42e7f2670fSClaudio Fontana static hwaddr get_hphys(CPUState *cs, hwaddr gphys, MMUAccessType access_type, 43e7f2670fSClaudio Fontana int *prot) 44e7f2670fSClaudio Fontana { 45e7f2670fSClaudio Fontana X86CPU *cpu = X86_CPU(cs); 46e7f2670fSClaudio Fontana CPUX86State *env = &cpu->env; 47e7f2670fSClaudio Fontana uint64_t rsvd_mask = PG_ADDRESS_MASK & ~MAKE_64BIT_MASK(0, cpu->phys_bits); 48e7f2670fSClaudio Fontana uint64_t ptep, pte; 49e7f2670fSClaudio Fontana uint64_t exit_info_1 = 0; 50e7f2670fSClaudio Fontana target_ulong pde_addr, pte_addr; 51e7f2670fSClaudio Fontana uint32_t page_offset; 52e7f2670fSClaudio Fontana int page_size; 53e7f2670fSClaudio Fontana 54e7f2670fSClaudio Fontana if (likely(!(env->hflags2 & HF2_NPT_MASK))) { 55e7f2670fSClaudio Fontana return gphys; 56e7f2670fSClaudio Fontana } 57e7f2670fSClaudio Fontana 58616a89eaSPaolo Bonzini if (!(env->nested_pg_mode & PG_MODE_NXE)) { 59e7f2670fSClaudio Fontana rsvd_mask |= PG_NX_MASK; 60e7f2670fSClaudio Fontana } 61e7f2670fSClaudio Fontana 62616a89eaSPaolo Bonzini if (env->nested_pg_mode & PG_MODE_PAE) { 63e7f2670fSClaudio Fontana uint64_t pde, pdpe; 64e7f2670fSClaudio Fontana target_ulong pdpe_addr; 65e7f2670fSClaudio Fontana 66e7f2670fSClaudio Fontana #ifdef TARGET_X86_64 67616a89eaSPaolo Bonzini if (env->nested_pg_mode & PG_MODE_LMA) { 68e7f2670fSClaudio Fontana uint64_t pml5e; 69e7f2670fSClaudio Fontana uint64_t pml4e_addr, pml4e; 70e7f2670fSClaudio Fontana 71e7f2670fSClaudio Fontana pml5e = env->nested_cr3; 72e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 73e7f2670fSClaudio Fontana 74e7f2670fSClaudio Fontana pml4e_addr = (pml5e & PG_ADDRESS_MASK) + 75e7f2670fSClaudio Fontana (((gphys >> 39) & 0x1ff) << 3); 76e7f2670fSClaudio Fontana pml4e = x86_ldq_phys(cs, pml4e_addr); 77e7f2670fSClaudio Fontana if (!(pml4e & PG_PRESENT_MASK)) { 78e7f2670fSClaudio Fontana goto do_fault; 79e7f2670fSClaudio Fontana } 80e7f2670fSClaudio Fontana if (pml4e & (rsvd_mask | PG_PSE_MASK)) { 81e7f2670fSClaudio Fontana goto do_fault_rsvd; 82e7f2670fSClaudio Fontana } 83e7f2670fSClaudio Fontana if (!(pml4e & PG_ACCESSED_MASK)) { 84e7f2670fSClaudio Fontana pml4e |= PG_ACCESSED_MASK; 85e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pml4e_addr, pml4e); 86e7f2670fSClaudio Fontana } 87e7f2670fSClaudio Fontana ptep &= pml4e ^ PG_NX_MASK; 88e7f2670fSClaudio Fontana pdpe_addr = (pml4e & PG_ADDRESS_MASK) + 89e7f2670fSClaudio Fontana (((gphys >> 30) & 0x1ff) << 3); 90e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 91e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 92e7f2670fSClaudio Fontana goto do_fault; 93e7f2670fSClaudio Fontana } 94e7f2670fSClaudio Fontana if (pdpe & rsvd_mask) { 95e7f2670fSClaudio Fontana goto do_fault_rsvd; 96e7f2670fSClaudio Fontana } 97e7f2670fSClaudio Fontana ptep &= pdpe ^ PG_NX_MASK; 98e7f2670fSClaudio Fontana if (!(pdpe & PG_ACCESSED_MASK)) { 99e7f2670fSClaudio Fontana pdpe |= PG_ACCESSED_MASK; 100e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pdpe_addr, pdpe); 101e7f2670fSClaudio Fontana } 102e7f2670fSClaudio Fontana if (pdpe & PG_PSE_MASK) { 103e7f2670fSClaudio Fontana /* 1 GB page */ 104e7f2670fSClaudio Fontana page_size = 1024 * 1024 * 1024; 105e7f2670fSClaudio Fontana pte_addr = pdpe_addr; 106e7f2670fSClaudio Fontana pte = pdpe; 107e7f2670fSClaudio Fontana goto do_check_protect; 108e7f2670fSClaudio Fontana } 109e7f2670fSClaudio Fontana } else 110e7f2670fSClaudio Fontana #endif 111e7f2670fSClaudio Fontana { 112e7f2670fSClaudio Fontana pdpe_addr = (env->nested_cr3 & ~0x1f) + ((gphys >> 27) & 0x18); 113e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 114e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 115e7f2670fSClaudio Fontana goto do_fault; 116e7f2670fSClaudio Fontana } 117e7f2670fSClaudio Fontana rsvd_mask |= PG_HI_USER_MASK; 118e7f2670fSClaudio Fontana if (pdpe & (rsvd_mask | PG_NX_MASK)) { 119e7f2670fSClaudio Fontana goto do_fault_rsvd; 120e7f2670fSClaudio Fontana } 121e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 122e7f2670fSClaudio Fontana } 123e7f2670fSClaudio Fontana 124e7f2670fSClaudio Fontana pde_addr = (pdpe & PG_ADDRESS_MASK) + (((gphys >> 21) & 0x1ff) << 3); 125e7f2670fSClaudio Fontana pde = x86_ldq_phys(cs, pde_addr); 126e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 127e7f2670fSClaudio Fontana goto do_fault; 128e7f2670fSClaudio Fontana } 129e7f2670fSClaudio Fontana if (pde & rsvd_mask) { 130e7f2670fSClaudio Fontana goto do_fault_rsvd; 131e7f2670fSClaudio Fontana } 132e7f2670fSClaudio Fontana ptep &= pde ^ PG_NX_MASK; 133e7f2670fSClaudio Fontana if (pde & PG_PSE_MASK) { 134e7f2670fSClaudio Fontana /* 2 MB page */ 135e7f2670fSClaudio Fontana page_size = 2048 * 1024; 136e7f2670fSClaudio Fontana pte_addr = pde_addr; 137e7f2670fSClaudio Fontana pte = pde; 138e7f2670fSClaudio Fontana goto do_check_protect; 139e7f2670fSClaudio Fontana } 140e7f2670fSClaudio Fontana /* 4 KB page */ 141e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 142e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 143e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 144e7f2670fSClaudio Fontana } 145e7f2670fSClaudio Fontana pte_addr = (pde & PG_ADDRESS_MASK) + (((gphys >> 12) & 0x1ff) << 3); 146e7f2670fSClaudio Fontana pte = x86_ldq_phys(cs, pte_addr); 147e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 148e7f2670fSClaudio Fontana goto do_fault; 149e7f2670fSClaudio Fontana } 150e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 151e7f2670fSClaudio Fontana goto do_fault_rsvd; 152e7f2670fSClaudio Fontana } 153e7f2670fSClaudio Fontana /* combine pde and pte nx, user and rw protections */ 154e7f2670fSClaudio Fontana ptep &= pte ^ PG_NX_MASK; 155e7f2670fSClaudio Fontana page_size = 4096; 156e7f2670fSClaudio Fontana } else { 157e7f2670fSClaudio Fontana uint32_t pde; 158e7f2670fSClaudio Fontana 159e7f2670fSClaudio Fontana /* page directory entry */ 160e7f2670fSClaudio Fontana pde_addr = (env->nested_cr3 & ~0xfff) + ((gphys >> 20) & 0xffc); 161e7f2670fSClaudio Fontana pde = x86_ldl_phys(cs, pde_addr); 162e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 163e7f2670fSClaudio Fontana goto do_fault; 164e7f2670fSClaudio Fontana } 165e7f2670fSClaudio Fontana ptep = pde | PG_NX_MASK; 166e7f2670fSClaudio Fontana 167e7f2670fSClaudio Fontana /* if host cr4 PSE bit is set, then we use a 4MB page */ 168616a89eaSPaolo Bonzini if ((pde & PG_PSE_MASK) && (env->nested_pg_mode & PG_MODE_PSE)) { 169e7f2670fSClaudio Fontana page_size = 4096 * 1024; 170e7f2670fSClaudio Fontana pte_addr = pde_addr; 171e7f2670fSClaudio Fontana 172e7f2670fSClaudio Fontana /* Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved. 173e7f2670fSClaudio Fontana * Leave bits 20-13 in place for setting accessed/dirty bits below. 174e7f2670fSClaudio Fontana */ 175e7f2670fSClaudio Fontana pte = pde | ((pde & 0x1fe000LL) << (32 - 13)); 176e7f2670fSClaudio Fontana rsvd_mask = 0x200000; 177e7f2670fSClaudio Fontana goto do_check_protect_pse36; 178e7f2670fSClaudio Fontana } 179e7f2670fSClaudio Fontana 180e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 181e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 182e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 183e7f2670fSClaudio Fontana } 184e7f2670fSClaudio Fontana 185e7f2670fSClaudio Fontana /* page directory entry */ 186e7f2670fSClaudio Fontana pte_addr = (pde & ~0xfff) + ((gphys >> 10) & 0xffc); 187e7f2670fSClaudio Fontana pte = x86_ldl_phys(cs, pte_addr); 188e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 189e7f2670fSClaudio Fontana goto do_fault; 190e7f2670fSClaudio Fontana } 191e7f2670fSClaudio Fontana /* combine pde and pte user and rw protections */ 192e7f2670fSClaudio Fontana ptep &= pte | PG_NX_MASK; 193e7f2670fSClaudio Fontana page_size = 4096; 194e7f2670fSClaudio Fontana rsvd_mask = 0; 195e7f2670fSClaudio Fontana } 196e7f2670fSClaudio Fontana 197e7f2670fSClaudio Fontana do_check_protect: 198e7f2670fSClaudio Fontana rsvd_mask |= (page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK; 199e7f2670fSClaudio Fontana do_check_protect_pse36: 200e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 201e7f2670fSClaudio Fontana goto do_fault_rsvd; 202e7f2670fSClaudio Fontana } 203e7f2670fSClaudio Fontana ptep ^= PG_NX_MASK; 204e7f2670fSClaudio Fontana 205e7f2670fSClaudio Fontana if (!(ptep & PG_USER_MASK)) { 206e7f2670fSClaudio Fontana goto do_fault_protect; 207e7f2670fSClaudio Fontana } 208e7f2670fSClaudio Fontana if (ptep & PG_NX_MASK) { 209e7f2670fSClaudio Fontana if (access_type == MMU_INST_FETCH) { 210e7f2670fSClaudio Fontana goto do_fault_protect; 211e7f2670fSClaudio Fontana } 212e7f2670fSClaudio Fontana *prot &= ~PAGE_EXEC; 213e7f2670fSClaudio Fontana } 214e7f2670fSClaudio Fontana if (!(ptep & PG_RW_MASK)) { 215e7f2670fSClaudio Fontana if (access_type == MMU_DATA_STORE) { 216e7f2670fSClaudio Fontana goto do_fault_protect; 217e7f2670fSClaudio Fontana } 218e7f2670fSClaudio Fontana *prot &= ~PAGE_WRITE; 219e7f2670fSClaudio Fontana } 220e7f2670fSClaudio Fontana 221e7f2670fSClaudio Fontana pte &= PG_ADDRESS_MASK & ~(page_size - 1); 222e7f2670fSClaudio Fontana page_offset = gphys & (page_size - 1); 223e7f2670fSClaudio Fontana return pte + page_offset; 224e7f2670fSClaudio Fontana 225e7f2670fSClaudio Fontana do_fault_rsvd: 2266ed6b0d3SPaolo Bonzini exit_info_1 |= PG_ERROR_RSVD_MASK; 227e7f2670fSClaudio Fontana do_fault_protect: 2286ed6b0d3SPaolo Bonzini exit_info_1 |= PG_ERROR_P_MASK; 229e7f2670fSClaudio Fontana do_fault: 230e7f2670fSClaudio Fontana x86_stq_phys(cs, env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2), 231e7f2670fSClaudio Fontana gphys); 2326ed6b0d3SPaolo Bonzini exit_info_1 |= PG_ERROR_U_MASK; 233e7f2670fSClaudio Fontana if (access_type == MMU_DATA_STORE) { 2346ed6b0d3SPaolo Bonzini exit_info_1 |= PG_ERROR_W_MASK; 235e7f2670fSClaudio Fontana } else if (access_type == MMU_INST_FETCH) { 2366ed6b0d3SPaolo Bonzini exit_info_1 |= PG_ERROR_I_D_MASK; 237e7f2670fSClaudio Fontana } 238e7f2670fSClaudio Fontana if (prot) { 239e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_GPA; 240e7f2670fSClaudio Fontana } else { /* page table access */ 241e7f2670fSClaudio Fontana exit_info_1 |= SVM_NPTEXIT_GPT; 242e7f2670fSClaudio Fontana } 243e7f2670fSClaudio Fontana cpu_vmexit(env, SVM_EXIT_NPF, exit_info_1, env->retaddr); 244e7f2670fSClaudio Fontana } 245e7f2670fSClaudio Fontana 246661ff487SPaolo Bonzini #define PG_ERROR_OK (-1) 247661ff487SPaolo Bonzini 248661ff487SPaolo Bonzini static int mmu_translate(CPUState *cs, vaddr addr, 249*cd906d31SPaolo Bonzini uint64_t cr3, int is_write1, int mmu_idx, 250661ff487SPaolo Bonzini vaddr *xlat, int *page_size, int *prot) 251e7f2670fSClaudio Fontana { 252e7f2670fSClaudio Fontana X86CPU *cpu = X86_CPU(cs); 253e7f2670fSClaudio Fontana CPUX86State *env = &cpu->env; 254e7f2670fSClaudio Fontana uint64_t ptep, pte; 255e7f2670fSClaudio Fontana int32_t a20_mask; 256e7f2670fSClaudio Fontana target_ulong pde_addr, pte_addr; 257e7f2670fSClaudio Fontana int error_code = 0; 258661ff487SPaolo Bonzini int is_dirty, is_write, is_user; 259e7f2670fSClaudio Fontana uint64_t rsvd_mask = PG_ADDRESS_MASK & ~MAKE_64BIT_MASK(0, cpu->phys_bits); 260e7f2670fSClaudio Fontana uint32_t page_offset; 261e7f2670fSClaudio Fontana uint32_t pkr; 262e7f2670fSClaudio Fontana 263661ff487SPaolo Bonzini is_user = (mmu_idx == MMU_USER_IDX); 264e7f2670fSClaudio Fontana is_write = is_write1 & 1; 265e7f2670fSClaudio Fontana a20_mask = x86_get_a20_mask(env); 266e7f2670fSClaudio Fontana 267e7f2670fSClaudio Fontana if (!(env->efer & MSR_EFER_NXE)) { 268e7f2670fSClaudio Fontana rsvd_mask |= PG_NX_MASK; 269e7f2670fSClaudio Fontana } 270e7f2670fSClaudio Fontana 271e7f2670fSClaudio Fontana if (env->cr[4] & CR4_PAE_MASK) { 272e7f2670fSClaudio Fontana uint64_t pde, pdpe; 273e7f2670fSClaudio Fontana target_ulong pdpe_addr; 274e7f2670fSClaudio Fontana 275e7f2670fSClaudio Fontana #ifdef TARGET_X86_64 276e7f2670fSClaudio Fontana if (env->hflags & HF_LMA_MASK) { 277e7f2670fSClaudio Fontana bool la57 = env->cr[4] & CR4_LA57_MASK; 278e7f2670fSClaudio Fontana uint64_t pml5e_addr, pml5e; 279e7f2670fSClaudio Fontana uint64_t pml4e_addr, pml4e; 280e7f2670fSClaudio Fontana int32_t sext; 281e7f2670fSClaudio Fontana 282e7f2670fSClaudio Fontana /* test virtual address sign extension */ 283e7f2670fSClaudio Fontana sext = la57 ? (int64_t)addr >> 56 : (int64_t)addr >> 47; 284e7f2670fSClaudio Fontana if (sext != 0 && sext != -1) { 285e7f2670fSClaudio Fontana env->error_code = 0; 286e7f2670fSClaudio Fontana cs->exception_index = EXCP0D_GPF; 287e7f2670fSClaudio Fontana return 1; 288e7f2670fSClaudio Fontana } 289e7f2670fSClaudio Fontana 290e7f2670fSClaudio Fontana if (la57) { 291*cd906d31SPaolo Bonzini pml5e_addr = ((cr3 & ~0xfff) + 292e7f2670fSClaudio Fontana (((addr >> 48) & 0x1ff) << 3)) & a20_mask; 293e7f2670fSClaudio Fontana pml5e_addr = get_hphys(cs, pml5e_addr, MMU_DATA_STORE, NULL); 294e7f2670fSClaudio Fontana pml5e = x86_ldq_phys(cs, pml5e_addr); 295e7f2670fSClaudio Fontana if (!(pml5e & PG_PRESENT_MASK)) { 296e7f2670fSClaudio Fontana goto do_fault; 297e7f2670fSClaudio Fontana } 298e7f2670fSClaudio Fontana if (pml5e & (rsvd_mask | PG_PSE_MASK)) { 299e7f2670fSClaudio Fontana goto do_fault_rsvd; 300e7f2670fSClaudio Fontana } 301e7f2670fSClaudio Fontana if (!(pml5e & PG_ACCESSED_MASK)) { 302e7f2670fSClaudio Fontana pml5e |= PG_ACCESSED_MASK; 303e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pml5e_addr, pml5e); 304e7f2670fSClaudio Fontana } 305e7f2670fSClaudio Fontana ptep = pml5e ^ PG_NX_MASK; 306e7f2670fSClaudio Fontana } else { 307*cd906d31SPaolo Bonzini pml5e = cr3; 308e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 309e7f2670fSClaudio Fontana } 310e7f2670fSClaudio Fontana 311e7f2670fSClaudio Fontana pml4e_addr = ((pml5e & PG_ADDRESS_MASK) + 312e7f2670fSClaudio Fontana (((addr >> 39) & 0x1ff) << 3)) & a20_mask; 313e7f2670fSClaudio Fontana pml4e_addr = get_hphys(cs, pml4e_addr, MMU_DATA_STORE, false); 314e7f2670fSClaudio Fontana pml4e = x86_ldq_phys(cs, pml4e_addr); 315e7f2670fSClaudio Fontana if (!(pml4e & PG_PRESENT_MASK)) { 316e7f2670fSClaudio Fontana goto do_fault; 317e7f2670fSClaudio Fontana } 318e7f2670fSClaudio Fontana if (pml4e & (rsvd_mask | PG_PSE_MASK)) { 319e7f2670fSClaudio Fontana goto do_fault_rsvd; 320e7f2670fSClaudio Fontana } 321e7f2670fSClaudio Fontana if (!(pml4e & PG_ACCESSED_MASK)) { 322e7f2670fSClaudio Fontana pml4e |= PG_ACCESSED_MASK; 323e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pml4e_addr, pml4e); 324e7f2670fSClaudio Fontana } 325e7f2670fSClaudio Fontana ptep &= pml4e ^ PG_NX_MASK; 326e7f2670fSClaudio Fontana pdpe_addr = ((pml4e & PG_ADDRESS_MASK) + (((addr >> 30) & 0x1ff) << 3)) & 327e7f2670fSClaudio Fontana a20_mask; 328e7f2670fSClaudio Fontana pdpe_addr = get_hphys(cs, pdpe_addr, MMU_DATA_STORE, NULL); 329e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 330e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 331e7f2670fSClaudio Fontana goto do_fault; 332e7f2670fSClaudio Fontana } 333e7f2670fSClaudio Fontana if (pdpe & rsvd_mask) { 334e7f2670fSClaudio Fontana goto do_fault_rsvd; 335e7f2670fSClaudio Fontana } 336e7f2670fSClaudio Fontana ptep &= pdpe ^ PG_NX_MASK; 337e7f2670fSClaudio Fontana if (!(pdpe & PG_ACCESSED_MASK)) { 338e7f2670fSClaudio Fontana pdpe |= PG_ACCESSED_MASK; 339e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pdpe_addr, pdpe); 340e7f2670fSClaudio Fontana } 341e7f2670fSClaudio Fontana if (pdpe & PG_PSE_MASK) { 342e7f2670fSClaudio Fontana /* 1 GB page */ 343661ff487SPaolo Bonzini *page_size = 1024 * 1024 * 1024; 344e7f2670fSClaudio Fontana pte_addr = pdpe_addr; 345e7f2670fSClaudio Fontana pte = pdpe; 346e7f2670fSClaudio Fontana goto do_check_protect; 347e7f2670fSClaudio Fontana } 348e7f2670fSClaudio Fontana } else 349e7f2670fSClaudio Fontana #endif 350e7f2670fSClaudio Fontana { 351e7f2670fSClaudio Fontana /* XXX: load them when cr3 is loaded ? */ 352*cd906d31SPaolo Bonzini pdpe_addr = ((cr3 & ~0x1f) + ((addr >> 27) & 0x18)) & 353e7f2670fSClaudio Fontana a20_mask; 354e7f2670fSClaudio Fontana pdpe_addr = get_hphys(cs, pdpe_addr, MMU_DATA_STORE, false); 355e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 356e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 357e7f2670fSClaudio Fontana goto do_fault; 358e7f2670fSClaudio Fontana } 359e7f2670fSClaudio Fontana rsvd_mask |= PG_HI_USER_MASK; 360e7f2670fSClaudio Fontana if (pdpe & (rsvd_mask | PG_NX_MASK)) { 361e7f2670fSClaudio Fontana goto do_fault_rsvd; 362e7f2670fSClaudio Fontana } 363e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 364e7f2670fSClaudio Fontana } 365e7f2670fSClaudio Fontana 366e7f2670fSClaudio Fontana pde_addr = ((pdpe & PG_ADDRESS_MASK) + (((addr >> 21) & 0x1ff) << 3)) & 367e7f2670fSClaudio Fontana a20_mask; 368e7f2670fSClaudio Fontana pde_addr = get_hphys(cs, pde_addr, MMU_DATA_STORE, NULL); 369e7f2670fSClaudio Fontana pde = x86_ldq_phys(cs, pde_addr); 370e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 371e7f2670fSClaudio Fontana goto do_fault; 372e7f2670fSClaudio Fontana } 373e7f2670fSClaudio Fontana if (pde & rsvd_mask) { 374e7f2670fSClaudio Fontana goto do_fault_rsvd; 375e7f2670fSClaudio Fontana } 376e7f2670fSClaudio Fontana ptep &= pde ^ PG_NX_MASK; 377e7f2670fSClaudio Fontana if (pde & PG_PSE_MASK) { 378e7f2670fSClaudio Fontana /* 2 MB page */ 379661ff487SPaolo Bonzini *page_size = 2048 * 1024; 380e7f2670fSClaudio Fontana pte_addr = pde_addr; 381e7f2670fSClaudio Fontana pte = pde; 382e7f2670fSClaudio Fontana goto do_check_protect; 383e7f2670fSClaudio Fontana } 384e7f2670fSClaudio Fontana /* 4 KB page */ 385e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 386e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 387e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 388e7f2670fSClaudio Fontana } 389e7f2670fSClaudio Fontana pte_addr = ((pde & PG_ADDRESS_MASK) + (((addr >> 12) & 0x1ff) << 3)) & 390e7f2670fSClaudio Fontana a20_mask; 391e7f2670fSClaudio Fontana pte_addr = get_hphys(cs, pte_addr, MMU_DATA_STORE, NULL); 392e7f2670fSClaudio Fontana pte = x86_ldq_phys(cs, pte_addr); 393e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 394e7f2670fSClaudio Fontana goto do_fault; 395e7f2670fSClaudio Fontana } 396e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 397e7f2670fSClaudio Fontana goto do_fault_rsvd; 398e7f2670fSClaudio Fontana } 399e7f2670fSClaudio Fontana /* combine pde and pte nx, user and rw protections */ 400e7f2670fSClaudio Fontana ptep &= pte ^ PG_NX_MASK; 401661ff487SPaolo Bonzini *page_size = 4096; 402e7f2670fSClaudio Fontana } else { 403e7f2670fSClaudio Fontana uint32_t pde; 404e7f2670fSClaudio Fontana 405e7f2670fSClaudio Fontana /* page directory entry */ 406*cd906d31SPaolo Bonzini pde_addr = ((cr3 & ~0xfff) + ((addr >> 20) & 0xffc)) & 407e7f2670fSClaudio Fontana a20_mask; 408e7f2670fSClaudio Fontana pde_addr = get_hphys(cs, pde_addr, MMU_DATA_STORE, NULL); 409e7f2670fSClaudio Fontana pde = x86_ldl_phys(cs, pde_addr); 410e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 411e7f2670fSClaudio Fontana goto do_fault; 412e7f2670fSClaudio Fontana } 413e7f2670fSClaudio Fontana ptep = pde | PG_NX_MASK; 414e7f2670fSClaudio Fontana 415e7f2670fSClaudio Fontana /* if PSE bit is set, then we use a 4MB page */ 416e7f2670fSClaudio Fontana if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) { 417661ff487SPaolo Bonzini *page_size = 4096 * 1024; 418e7f2670fSClaudio Fontana pte_addr = pde_addr; 419e7f2670fSClaudio Fontana 420e7f2670fSClaudio Fontana /* Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved. 421e7f2670fSClaudio Fontana * Leave bits 20-13 in place for setting accessed/dirty bits below. 422e7f2670fSClaudio Fontana */ 423e7f2670fSClaudio Fontana pte = pde | ((pde & 0x1fe000LL) << (32 - 13)); 424e7f2670fSClaudio Fontana rsvd_mask = 0x200000; 425e7f2670fSClaudio Fontana goto do_check_protect_pse36; 426e7f2670fSClaudio Fontana } 427e7f2670fSClaudio Fontana 428e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 429e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 430e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 431e7f2670fSClaudio Fontana } 432e7f2670fSClaudio Fontana 433e7f2670fSClaudio Fontana /* page directory entry */ 434e7f2670fSClaudio Fontana pte_addr = ((pde & ~0xfff) + ((addr >> 10) & 0xffc)) & 435e7f2670fSClaudio Fontana a20_mask; 436e7f2670fSClaudio Fontana pte_addr = get_hphys(cs, pte_addr, MMU_DATA_STORE, NULL); 437e7f2670fSClaudio Fontana pte = x86_ldl_phys(cs, pte_addr); 438e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 439e7f2670fSClaudio Fontana goto do_fault; 440e7f2670fSClaudio Fontana } 441e7f2670fSClaudio Fontana /* combine pde and pte user and rw protections */ 442e7f2670fSClaudio Fontana ptep &= pte | PG_NX_MASK; 443661ff487SPaolo Bonzini *page_size = 4096; 444e7f2670fSClaudio Fontana rsvd_mask = 0; 445e7f2670fSClaudio Fontana } 446e7f2670fSClaudio Fontana 447e7f2670fSClaudio Fontana do_check_protect: 448661ff487SPaolo Bonzini rsvd_mask |= (*page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK; 449e7f2670fSClaudio Fontana do_check_protect_pse36: 450e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 451e7f2670fSClaudio Fontana goto do_fault_rsvd; 452e7f2670fSClaudio Fontana } 453e7f2670fSClaudio Fontana ptep ^= PG_NX_MASK; 454e7f2670fSClaudio Fontana 455e7f2670fSClaudio Fontana /* can the page can be put in the TLB? prot will tell us */ 456e7f2670fSClaudio Fontana if (is_user && !(ptep & PG_USER_MASK)) { 457e7f2670fSClaudio Fontana goto do_fault_protect; 458e7f2670fSClaudio Fontana } 459e7f2670fSClaudio Fontana 460661ff487SPaolo Bonzini *prot = 0; 461e7f2670fSClaudio Fontana if (mmu_idx != MMU_KSMAP_IDX || !(ptep & PG_USER_MASK)) { 462661ff487SPaolo Bonzini *prot |= PAGE_READ; 463e7f2670fSClaudio Fontana if ((ptep & PG_RW_MASK) || (!is_user && !(env->cr[0] & CR0_WP_MASK))) { 464661ff487SPaolo Bonzini *prot |= PAGE_WRITE; 465e7f2670fSClaudio Fontana } 466e7f2670fSClaudio Fontana } 467e7f2670fSClaudio Fontana if (!(ptep & PG_NX_MASK) && 468e7f2670fSClaudio Fontana (mmu_idx == MMU_USER_IDX || 469e7f2670fSClaudio Fontana !((env->cr[4] & CR4_SMEP_MASK) && (ptep & PG_USER_MASK)))) { 470661ff487SPaolo Bonzini *prot |= PAGE_EXEC; 471e7f2670fSClaudio Fontana } 472e7f2670fSClaudio Fontana 473e7f2670fSClaudio Fontana if (!(env->hflags & HF_LMA_MASK)) { 474e7f2670fSClaudio Fontana pkr = 0; 475e7f2670fSClaudio Fontana } else if (ptep & PG_USER_MASK) { 476e7f2670fSClaudio Fontana pkr = env->cr[4] & CR4_PKE_MASK ? env->pkru : 0; 477e7f2670fSClaudio Fontana } else { 478e7f2670fSClaudio Fontana pkr = env->cr[4] & CR4_PKS_MASK ? env->pkrs : 0; 479e7f2670fSClaudio Fontana } 480e7f2670fSClaudio Fontana if (pkr) { 481e7f2670fSClaudio Fontana uint32_t pk = (pte & PG_PKRU_MASK) >> PG_PKRU_BIT; 482e7f2670fSClaudio Fontana uint32_t pkr_ad = (pkr >> pk * 2) & 1; 483e7f2670fSClaudio Fontana uint32_t pkr_wd = (pkr >> pk * 2) & 2; 484e7f2670fSClaudio Fontana uint32_t pkr_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 485e7f2670fSClaudio Fontana 486e7f2670fSClaudio Fontana if (pkr_ad) { 487e7f2670fSClaudio Fontana pkr_prot &= ~(PAGE_READ | PAGE_WRITE); 488e7f2670fSClaudio Fontana } else if (pkr_wd && (is_user || env->cr[0] & CR0_WP_MASK)) { 489e7f2670fSClaudio Fontana pkr_prot &= ~PAGE_WRITE; 490e7f2670fSClaudio Fontana } 491e7f2670fSClaudio Fontana 492661ff487SPaolo Bonzini *prot &= pkr_prot; 493e7f2670fSClaudio Fontana if ((pkr_prot & (1 << is_write1)) == 0) { 494e7f2670fSClaudio Fontana assert(is_write1 != 2); 495e7f2670fSClaudio Fontana error_code |= PG_ERROR_PK_MASK; 496e7f2670fSClaudio Fontana goto do_fault_protect; 497e7f2670fSClaudio Fontana } 498e7f2670fSClaudio Fontana } 499e7f2670fSClaudio Fontana 500661ff487SPaolo Bonzini if ((*prot & (1 << is_write1)) == 0) { 501e7f2670fSClaudio Fontana goto do_fault_protect; 502e7f2670fSClaudio Fontana } 503e7f2670fSClaudio Fontana 504e7f2670fSClaudio Fontana /* yes, it can! */ 505e7f2670fSClaudio Fontana is_dirty = is_write && !(pte & PG_DIRTY_MASK); 506e7f2670fSClaudio Fontana if (!(pte & PG_ACCESSED_MASK) || is_dirty) { 507e7f2670fSClaudio Fontana pte |= PG_ACCESSED_MASK; 508e7f2670fSClaudio Fontana if (is_dirty) { 509e7f2670fSClaudio Fontana pte |= PG_DIRTY_MASK; 510e7f2670fSClaudio Fontana } 511e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pte_addr, pte); 512e7f2670fSClaudio Fontana } 513e7f2670fSClaudio Fontana 514e7f2670fSClaudio Fontana if (!(pte & PG_DIRTY_MASK)) { 515e7f2670fSClaudio Fontana /* only set write access if already dirty... otherwise wait 516e7f2670fSClaudio Fontana for dirty access */ 517e7f2670fSClaudio Fontana assert(!is_write); 518661ff487SPaolo Bonzini *prot &= ~PAGE_WRITE; 519e7f2670fSClaudio Fontana } 520e7f2670fSClaudio Fontana 521e7f2670fSClaudio Fontana pte = pte & a20_mask; 522e7f2670fSClaudio Fontana 523e7f2670fSClaudio Fontana /* align to page_size */ 524661ff487SPaolo Bonzini pte &= PG_ADDRESS_MASK & ~(*page_size - 1); 525661ff487SPaolo Bonzini page_offset = addr & (*page_size - 1); 526661ff487SPaolo Bonzini *xlat = get_hphys(cs, pte + page_offset, is_write1, prot); 527661ff487SPaolo Bonzini return PG_ERROR_OK; 528e7f2670fSClaudio Fontana 529e7f2670fSClaudio Fontana do_fault_rsvd: 530e7f2670fSClaudio Fontana error_code |= PG_ERROR_RSVD_MASK; 531e7f2670fSClaudio Fontana do_fault_protect: 532e7f2670fSClaudio Fontana error_code |= PG_ERROR_P_MASK; 533e7f2670fSClaudio Fontana do_fault: 534e7f2670fSClaudio Fontana error_code |= (is_write << PG_ERROR_W_BIT); 535e7f2670fSClaudio Fontana if (is_user) 536e7f2670fSClaudio Fontana error_code |= PG_ERROR_U_MASK; 537e7f2670fSClaudio Fontana if (is_write1 == 2 && 538e7f2670fSClaudio Fontana (((env->efer & MSR_EFER_NXE) && 539e7f2670fSClaudio Fontana (env->cr[4] & CR4_PAE_MASK)) || 540e7f2670fSClaudio Fontana (env->cr[4] & CR4_SMEP_MASK))) 541e7f2670fSClaudio Fontana error_code |= PG_ERROR_I_D_MASK; 542661ff487SPaolo Bonzini return error_code; 543661ff487SPaolo Bonzini } 544661ff487SPaolo Bonzini 545661ff487SPaolo Bonzini /* return value: 546661ff487SPaolo Bonzini * -1 = cannot handle fault 547661ff487SPaolo Bonzini * 0 = nothing more to do 548661ff487SPaolo Bonzini * 1 = generate PF fault 549661ff487SPaolo Bonzini */ 550661ff487SPaolo Bonzini static int handle_mmu_fault(CPUState *cs, vaddr addr, int size, 551661ff487SPaolo Bonzini int is_write1, int mmu_idx) 552661ff487SPaolo Bonzini { 553661ff487SPaolo Bonzini X86CPU *cpu = X86_CPU(cs); 554661ff487SPaolo Bonzini CPUX86State *env = &cpu->env; 555661ff487SPaolo Bonzini int error_code = PG_ERROR_OK; 556661ff487SPaolo Bonzini int prot, page_size; 557661ff487SPaolo Bonzini hwaddr paddr; 558661ff487SPaolo Bonzini target_ulong vaddr; 559661ff487SPaolo Bonzini 560661ff487SPaolo Bonzini #if defined(DEBUG_MMU) 561661ff487SPaolo Bonzini printf("MMU fault: addr=%" VADDR_PRIx " w=%d mmu=%d eip=" TARGET_FMT_lx "\n", 562661ff487SPaolo Bonzini addr, is_write1, mmu_idx, env->eip); 563661ff487SPaolo Bonzini #endif 564661ff487SPaolo Bonzini 565661ff487SPaolo Bonzini if (!(env->cr[0] & CR0_PG_MASK)) { 566661ff487SPaolo Bonzini paddr = addr; 567661ff487SPaolo Bonzini #ifdef TARGET_X86_64 568661ff487SPaolo Bonzini if (!(env->hflags & HF_LMA_MASK)) { 569661ff487SPaolo Bonzini /* Without long mode we can only address 32bits in real mode */ 570661ff487SPaolo Bonzini paddr = (uint32_t)paddr; 571661ff487SPaolo Bonzini } 572661ff487SPaolo Bonzini #endif 573661ff487SPaolo Bonzini prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 574661ff487SPaolo Bonzini page_size = 4096; 575661ff487SPaolo Bonzini } else { 576*cd906d31SPaolo Bonzini error_code = mmu_translate(cs, addr, env->cr[3], is_write1, 577661ff487SPaolo Bonzini mmu_idx, 578661ff487SPaolo Bonzini &paddr, &page_size, &prot); 579661ff487SPaolo Bonzini } 580661ff487SPaolo Bonzini 581661ff487SPaolo Bonzini if (error_code == PG_ERROR_OK) { 582661ff487SPaolo Bonzini /* Even if 4MB pages, we map only one 4KB page in the cache to 583661ff487SPaolo Bonzini avoid filling it too fast */ 584661ff487SPaolo Bonzini vaddr = addr & TARGET_PAGE_MASK; 585661ff487SPaolo Bonzini paddr &= TARGET_PAGE_MASK; 586661ff487SPaolo Bonzini 587661ff487SPaolo Bonzini assert(prot & (1 << is_write1)); 588661ff487SPaolo Bonzini tlb_set_page_with_attrs(cs, vaddr, paddr, cpu_get_mem_attrs(env), 589661ff487SPaolo Bonzini prot, mmu_idx, page_size); 590661ff487SPaolo Bonzini return 0; 591661ff487SPaolo Bonzini } else { 592e7f2670fSClaudio Fontana if (env->intercept_exceptions & (1 << EXCP0E_PAGE)) { 593e7f2670fSClaudio Fontana /* cr2 is not modified in case of exceptions */ 594e7f2670fSClaudio Fontana x86_stq_phys(cs, 595e7f2670fSClaudio Fontana env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2), 596e7f2670fSClaudio Fontana addr); 597e7f2670fSClaudio Fontana } else { 598e7f2670fSClaudio Fontana env->cr[2] = addr; 599e7f2670fSClaudio Fontana } 600e7f2670fSClaudio Fontana env->error_code = error_code; 601e7f2670fSClaudio Fontana cs->exception_index = EXCP0E_PAGE; 602e7f2670fSClaudio Fontana return 1; 603e7f2670fSClaudio Fontana } 604661ff487SPaolo Bonzini } 605e7f2670fSClaudio Fontana 606e7f2670fSClaudio Fontana bool x86_cpu_tlb_fill(CPUState *cs, vaddr addr, int size, 607e7f2670fSClaudio Fontana MMUAccessType access_type, int mmu_idx, 608e7f2670fSClaudio Fontana bool probe, uintptr_t retaddr) 609e7f2670fSClaudio Fontana { 610e7f2670fSClaudio Fontana X86CPU *cpu = X86_CPU(cs); 611e7f2670fSClaudio Fontana CPUX86State *env = &cpu->env; 612e7f2670fSClaudio Fontana 613e7f2670fSClaudio Fontana env->retaddr = retaddr; 614e7f2670fSClaudio Fontana if (handle_mmu_fault(cs, addr, size, access_type, mmu_idx)) { 615e7f2670fSClaudio Fontana /* FIXME: On error in get_hphys we have already jumped out. */ 616e7f2670fSClaudio Fontana g_assert(!probe); 617e7f2670fSClaudio Fontana raise_exception_err_ra(env, cs->exception_index, 618e7f2670fSClaudio Fontana env->error_code, retaddr); 619e7f2670fSClaudio Fontana } 620e7f2670fSClaudio Fontana return true; 621e7f2670fSClaudio Fontana } 622