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" 22b28b366dSPhilippe Mathieu-Daudé #include "exec/exec-all.h" 23e7f2670fSClaudio Fontana #include "tcg/helper-tcg.h" 24e7f2670fSClaudio Fontana 25661ff487SPaolo Bonzini #define PG_ERROR_OK (-1) 26661ff487SPaolo Bonzini 2733ce155cSPaolo Bonzini typedef hwaddr (*MMUTranslateFunc)(CPUState *cs, hwaddr gphys, MMUAccessType access_type, 2833ce155cSPaolo Bonzini int *prot); 2933ce155cSPaolo Bonzini 3033ce155cSPaolo Bonzini #define GET_HPHYS(cs, gpa, access_type, prot) \ 3133ce155cSPaolo Bonzini (get_hphys_func ? get_hphys_func(cs, gpa, access_type, prot) : gpa) 3233ce155cSPaolo Bonzini 33*487d1133SRichard Henderson static int mmu_translate(CPUState *cs, hwaddr addr, 34*487d1133SRichard Henderson MMUTranslateFunc get_hphys_func, 35*487d1133SRichard Henderson uint64_t cr3, MMUAccessType access_type, 36*487d1133SRichard Henderson int mmu_idx, int pg_mode, 3768746930SPaolo Bonzini hwaddr *xlat, int *page_size, int *prot) 38e7f2670fSClaudio Fontana { 39e7f2670fSClaudio Fontana X86CPU *cpu = X86_CPU(cs); 40e7f2670fSClaudio Fontana CPUX86State *env = &cpu->env; 41e7f2670fSClaudio Fontana uint64_t ptep, pte; 42e7f2670fSClaudio Fontana int32_t a20_mask; 43e7f2670fSClaudio Fontana target_ulong pde_addr, pte_addr; 44e7f2670fSClaudio Fontana int error_code = 0; 45*487d1133SRichard Henderson bool is_dirty, is_write, is_user; 46e7f2670fSClaudio Fontana uint64_t rsvd_mask = PG_ADDRESS_MASK & ~MAKE_64BIT_MASK(0, cpu->phys_bits); 47e7f2670fSClaudio Fontana uint32_t page_offset; 48e7f2670fSClaudio Fontana uint32_t pkr; 49e7f2670fSClaudio Fontana 50661ff487SPaolo Bonzini is_user = (mmu_idx == MMU_USER_IDX); 51*487d1133SRichard Henderson is_write = (access_type == MMU_DATA_STORE); 52e7f2670fSClaudio Fontana a20_mask = x86_get_a20_mask(env); 53e7f2670fSClaudio Fontana 5431dd35ebSPaolo Bonzini if (!(pg_mode & PG_MODE_NXE)) { 55e7f2670fSClaudio Fontana rsvd_mask |= PG_NX_MASK; 56e7f2670fSClaudio Fontana } 57e7f2670fSClaudio Fontana 5831dd35ebSPaolo Bonzini if (pg_mode & PG_MODE_PAE) { 59e7f2670fSClaudio Fontana uint64_t pde, pdpe; 60e7f2670fSClaudio Fontana target_ulong pdpe_addr; 61e7f2670fSClaudio Fontana 62e7f2670fSClaudio Fontana #ifdef TARGET_X86_64 6393eae358SPaolo Bonzini if (pg_mode & PG_MODE_LMA) { 6431dd35ebSPaolo Bonzini bool la57 = pg_mode & PG_MODE_LA57; 65e7f2670fSClaudio Fontana uint64_t pml5e_addr, pml5e; 66e7f2670fSClaudio Fontana uint64_t pml4e_addr, pml4e; 67e7f2670fSClaudio Fontana 68e7f2670fSClaudio Fontana if (la57) { 69cd906d31SPaolo Bonzini pml5e_addr = ((cr3 & ~0xfff) + 70e7f2670fSClaudio Fontana (((addr >> 48) & 0x1ff) << 3)) & a20_mask; 7133ce155cSPaolo Bonzini pml5e_addr = GET_HPHYS(cs, pml5e_addr, MMU_DATA_STORE, NULL); 72e7f2670fSClaudio Fontana pml5e = x86_ldq_phys(cs, pml5e_addr); 73e7f2670fSClaudio Fontana if (!(pml5e & PG_PRESENT_MASK)) { 74e7f2670fSClaudio Fontana goto do_fault; 75e7f2670fSClaudio Fontana } 76e7f2670fSClaudio Fontana if (pml5e & (rsvd_mask | PG_PSE_MASK)) { 77e7f2670fSClaudio Fontana goto do_fault_rsvd; 78e7f2670fSClaudio Fontana } 79e7f2670fSClaudio Fontana if (!(pml5e & PG_ACCESSED_MASK)) { 80e7f2670fSClaudio Fontana pml5e |= PG_ACCESSED_MASK; 81e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pml5e_addr, pml5e); 82e7f2670fSClaudio Fontana } 83e7f2670fSClaudio Fontana ptep = pml5e ^ PG_NX_MASK; 84e7f2670fSClaudio Fontana } else { 85cd906d31SPaolo Bonzini pml5e = cr3; 86e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 87e7f2670fSClaudio Fontana } 88e7f2670fSClaudio Fontana 89e7f2670fSClaudio Fontana pml4e_addr = ((pml5e & PG_ADDRESS_MASK) + 90e7f2670fSClaudio Fontana (((addr >> 39) & 0x1ff) << 3)) & a20_mask; 9133ce155cSPaolo Bonzini pml4e_addr = GET_HPHYS(cs, pml4e_addr, MMU_DATA_STORE, NULL); 92e7f2670fSClaudio Fontana pml4e = x86_ldq_phys(cs, pml4e_addr); 93e7f2670fSClaudio Fontana if (!(pml4e & PG_PRESENT_MASK)) { 94e7f2670fSClaudio Fontana goto do_fault; 95e7f2670fSClaudio Fontana } 96e7f2670fSClaudio Fontana if (pml4e & (rsvd_mask | PG_PSE_MASK)) { 97e7f2670fSClaudio Fontana goto do_fault_rsvd; 98e7f2670fSClaudio Fontana } 99e7f2670fSClaudio Fontana if (!(pml4e & PG_ACCESSED_MASK)) { 100e7f2670fSClaudio Fontana pml4e |= PG_ACCESSED_MASK; 101e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pml4e_addr, pml4e); 102e7f2670fSClaudio Fontana } 103e7f2670fSClaudio Fontana ptep &= pml4e ^ PG_NX_MASK; 104e7f2670fSClaudio Fontana pdpe_addr = ((pml4e & PG_ADDRESS_MASK) + (((addr >> 30) & 0x1ff) << 3)) & 105e7f2670fSClaudio Fontana a20_mask; 10633ce155cSPaolo Bonzini pdpe_addr = GET_HPHYS(cs, pdpe_addr, MMU_DATA_STORE, NULL); 107e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 108e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 109e7f2670fSClaudio Fontana goto do_fault; 110e7f2670fSClaudio Fontana } 111e7f2670fSClaudio Fontana if (pdpe & rsvd_mask) { 112e7f2670fSClaudio Fontana goto do_fault_rsvd; 113e7f2670fSClaudio Fontana } 114e7f2670fSClaudio Fontana ptep &= pdpe ^ PG_NX_MASK; 115e7f2670fSClaudio Fontana if (!(pdpe & PG_ACCESSED_MASK)) { 116e7f2670fSClaudio Fontana pdpe |= PG_ACCESSED_MASK; 117e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pdpe_addr, pdpe); 118e7f2670fSClaudio Fontana } 119e7f2670fSClaudio Fontana if (pdpe & PG_PSE_MASK) { 120e7f2670fSClaudio Fontana /* 1 GB page */ 121661ff487SPaolo Bonzini *page_size = 1024 * 1024 * 1024; 122e7f2670fSClaudio Fontana pte_addr = pdpe_addr; 123e7f2670fSClaudio Fontana pte = pdpe; 124e7f2670fSClaudio Fontana goto do_check_protect; 125e7f2670fSClaudio Fontana } 126e7f2670fSClaudio Fontana } else 127e7f2670fSClaudio Fontana #endif 128e7f2670fSClaudio Fontana { 129e7f2670fSClaudio Fontana /* XXX: load them when cr3 is loaded ? */ 130cd906d31SPaolo Bonzini pdpe_addr = ((cr3 & ~0x1f) + ((addr >> 27) & 0x18)) & 131e7f2670fSClaudio Fontana a20_mask; 13233ce155cSPaolo Bonzini pdpe_addr = GET_HPHYS(cs, pdpe_addr, MMU_DATA_STORE, NULL); 133e7f2670fSClaudio Fontana pdpe = x86_ldq_phys(cs, pdpe_addr); 134e7f2670fSClaudio Fontana if (!(pdpe & PG_PRESENT_MASK)) { 135e7f2670fSClaudio Fontana goto do_fault; 136e7f2670fSClaudio Fontana } 137e7f2670fSClaudio Fontana rsvd_mask |= PG_HI_USER_MASK; 138e7f2670fSClaudio Fontana if (pdpe & (rsvd_mask | PG_NX_MASK)) { 139e7f2670fSClaudio Fontana goto do_fault_rsvd; 140e7f2670fSClaudio Fontana } 141e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 142e7f2670fSClaudio Fontana } 143e7f2670fSClaudio Fontana 144e7f2670fSClaudio Fontana pde_addr = ((pdpe & PG_ADDRESS_MASK) + (((addr >> 21) & 0x1ff) << 3)) & 145e7f2670fSClaudio Fontana a20_mask; 14633ce155cSPaolo Bonzini pde_addr = GET_HPHYS(cs, pde_addr, MMU_DATA_STORE, NULL); 147e7f2670fSClaudio Fontana pde = x86_ldq_phys(cs, pde_addr); 148e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 149e7f2670fSClaudio Fontana goto do_fault; 150e7f2670fSClaudio Fontana } 151e7f2670fSClaudio Fontana if (pde & rsvd_mask) { 152e7f2670fSClaudio Fontana goto do_fault_rsvd; 153e7f2670fSClaudio Fontana } 154e7f2670fSClaudio Fontana ptep &= pde ^ PG_NX_MASK; 155e7f2670fSClaudio Fontana if (pde & PG_PSE_MASK) { 156e7f2670fSClaudio Fontana /* 2 MB page */ 157661ff487SPaolo Bonzini *page_size = 2048 * 1024; 158e7f2670fSClaudio Fontana pte_addr = pde_addr; 159e7f2670fSClaudio Fontana pte = pde; 160e7f2670fSClaudio Fontana goto do_check_protect; 161e7f2670fSClaudio Fontana } 162e7f2670fSClaudio Fontana /* 4 KB page */ 163e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 164e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 165e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 166e7f2670fSClaudio Fontana } 167e7f2670fSClaudio Fontana pte_addr = ((pde & PG_ADDRESS_MASK) + (((addr >> 12) & 0x1ff) << 3)) & 168e7f2670fSClaudio Fontana a20_mask; 16933ce155cSPaolo Bonzini pte_addr = GET_HPHYS(cs, pte_addr, MMU_DATA_STORE, NULL); 170e7f2670fSClaudio Fontana pte = x86_ldq_phys(cs, pte_addr); 171e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 172e7f2670fSClaudio Fontana goto do_fault; 173e7f2670fSClaudio Fontana } 174e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 175e7f2670fSClaudio Fontana goto do_fault_rsvd; 176e7f2670fSClaudio Fontana } 177e7f2670fSClaudio Fontana /* combine pde and pte nx, user and rw protections */ 178e7f2670fSClaudio Fontana ptep &= pte ^ PG_NX_MASK; 179661ff487SPaolo Bonzini *page_size = 4096; 180e7f2670fSClaudio Fontana } else { 181e7f2670fSClaudio Fontana uint32_t pde; 182e7f2670fSClaudio Fontana 183e7f2670fSClaudio Fontana /* page directory entry */ 184cd906d31SPaolo Bonzini pde_addr = ((cr3 & ~0xfff) + ((addr >> 20) & 0xffc)) & 185e7f2670fSClaudio Fontana a20_mask; 18633ce155cSPaolo Bonzini pde_addr = GET_HPHYS(cs, pde_addr, MMU_DATA_STORE, NULL); 187e7f2670fSClaudio Fontana pde = x86_ldl_phys(cs, pde_addr); 188e7f2670fSClaudio Fontana if (!(pde & PG_PRESENT_MASK)) { 189e7f2670fSClaudio Fontana goto do_fault; 190e7f2670fSClaudio Fontana } 191e7f2670fSClaudio Fontana ptep = pde | PG_NX_MASK; 192e7f2670fSClaudio Fontana 193e7f2670fSClaudio Fontana /* if PSE bit is set, then we use a 4MB page */ 19431dd35ebSPaolo Bonzini if ((pde & PG_PSE_MASK) && (pg_mode & PG_MODE_PSE)) { 195661ff487SPaolo Bonzini *page_size = 4096 * 1024; 196e7f2670fSClaudio Fontana pte_addr = pde_addr; 197e7f2670fSClaudio Fontana 198e7f2670fSClaudio Fontana /* Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved. 199e7f2670fSClaudio Fontana * Leave bits 20-13 in place for setting accessed/dirty bits below. 200e7f2670fSClaudio Fontana */ 201e7f2670fSClaudio Fontana pte = pde | ((pde & 0x1fe000LL) << (32 - 13)); 202e7f2670fSClaudio Fontana rsvd_mask = 0x200000; 203e7f2670fSClaudio Fontana goto do_check_protect_pse36; 204e7f2670fSClaudio Fontana } 205e7f2670fSClaudio Fontana 206e7f2670fSClaudio Fontana if (!(pde & PG_ACCESSED_MASK)) { 207e7f2670fSClaudio Fontana pde |= PG_ACCESSED_MASK; 208e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pde_addr, pde); 209e7f2670fSClaudio Fontana } 210e7f2670fSClaudio Fontana 211e7f2670fSClaudio Fontana /* page directory entry */ 212e7f2670fSClaudio Fontana pte_addr = ((pde & ~0xfff) + ((addr >> 10) & 0xffc)) & 213e7f2670fSClaudio Fontana a20_mask; 21433ce155cSPaolo Bonzini pte_addr = GET_HPHYS(cs, pte_addr, MMU_DATA_STORE, NULL); 215e7f2670fSClaudio Fontana pte = x86_ldl_phys(cs, pte_addr); 216e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 217e7f2670fSClaudio Fontana goto do_fault; 218e7f2670fSClaudio Fontana } 219e7f2670fSClaudio Fontana /* combine pde and pte user and rw protections */ 220e7f2670fSClaudio Fontana ptep &= pte | PG_NX_MASK; 221661ff487SPaolo Bonzini *page_size = 4096; 222e7f2670fSClaudio Fontana rsvd_mask = 0; 223e7f2670fSClaudio Fontana } 224e7f2670fSClaudio Fontana 225e7f2670fSClaudio Fontana do_check_protect: 226661ff487SPaolo Bonzini rsvd_mask |= (*page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK; 227e7f2670fSClaudio Fontana do_check_protect_pse36: 228e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 229e7f2670fSClaudio Fontana goto do_fault_rsvd; 230e7f2670fSClaudio Fontana } 231e7f2670fSClaudio Fontana ptep ^= PG_NX_MASK; 232e7f2670fSClaudio Fontana 233e7f2670fSClaudio Fontana /* can the page can be put in the TLB? prot will tell us */ 234e7f2670fSClaudio Fontana if (is_user && !(ptep & PG_USER_MASK)) { 235e7f2670fSClaudio Fontana goto do_fault_protect; 236e7f2670fSClaudio Fontana } 237e7f2670fSClaudio Fontana 238661ff487SPaolo Bonzini *prot = 0; 239e7f2670fSClaudio Fontana if (mmu_idx != MMU_KSMAP_IDX || !(ptep & PG_USER_MASK)) { 240661ff487SPaolo Bonzini *prot |= PAGE_READ; 24131dd35ebSPaolo Bonzini if ((ptep & PG_RW_MASK) || !(is_user || (pg_mode & PG_MODE_WP))) { 242661ff487SPaolo Bonzini *prot |= PAGE_WRITE; 243e7f2670fSClaudio Fontana } 244e7f2670fSClaudio Fontana } 245e7f2670fSClaudio Fontana if (!(ptep & PG_NX_MASK) && 246e7f2670fSClaudio Fontana (mmu_idx == MMU_USER_IDX || 24731dd35ebSPaolo Bonzini !((pg_mode & PG_MODE_SMEP) && (ptep & PG_USER_MASK)))) { 248661ff487SPaolo Bonzini *prot |= PAGE_EXEC; 249e7f2670fSClaudio Fontana } 250e7f2670fSClaudio Fontana 251991ec976SPaolo Bonzini if (ptep & PG_USER_MASK) { 25231dd35ebSPaolo Bonzini pkr = pg_mode & PG_MODE_PKE ? env->pkru : 0; 253e7f2670fSClaudio Fontana } else { 25431dd35ebSPaolo Bonzini pkr = pg_mode & PG_MODE_PKS ? env->pkrs : 0; 255e7f2670fSClaudio Fontana } 256e7f2670fSClaudio Fontana if (pkr) { 257e7f2670fSClaudio Fontana uint32_t pk = (pte & PG_PKRU_MASK) >> PG_PKRU_BIT; 258e7f2670fSClaudio Fontana uint32_t pkr_ad = (pkr >> pk * 2) & 1; 259e7f2670fSClaudio Fontana uint32_t pkr_wd = (pkr >> pk * 2) & 2; 260e7f2670fSClaudio Fontana uint32_t pkr_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 261e7f2670fSClaudio Fontana 262e7f2670fSClaudio Fontana if (pkr_ad) { 263e7f2670fSClaudio Fontana pkr_prot &= ~(PAGE_READ | PAGE_WRITE); 26431dd35ebSPaolo Bonzini } else if (pkr_wd && (is_user || (pg_mode & PG_MODE_WP))) { 265e7f2670fSClaudio Fontana pkr_prot &= ~PAGE_WRITE; 266e7f2670fSClaudio Fontana } 267e7f2670fSClaudio Fontana 268661ff487SPaolo Bonzini *prot &= pkr_prot; 269*487d1133SRichard Henderson if ((pkr_prot & (1 << access_type)) == 0) { 270*487d1133SRichard Henderson assert(access_type != MMU_INST_FETCH); 271e7f2670fSClaudio Fontana error_code |= PG_ERROR_PK_MASK; 272e7f2670fSClaudio Fontana goto do_fault_protect; 273e7f2670fSClaudio Fontana } 274e7f2670fSClaudio Fontana } 275e7f2670fSClaudio Fontana 276*487d1133SRichard Henderson if ((*prot & (1 << access_type)) == 0) { 277e7f2670fSClaudio Fontana goto do_fault_protect; 278e7f2670fSClaudio Fontana } 279e7f2670fSClaudio Fontana 280e7f2670fSClaudio Fontana /* yes, it can! */ 281e7f2670fSClaudio Fontana is_dirty = is_write && !(pte & PG_DIRTY_MASK); 282e7f2670fSClaudio Fontana if (!(pte & PG_ACCESSED_MASK) || is_dirty) { 283e7f2670fSClaudio Fontana pte |= PG_ACCESSED_MASK; 284e7f2670fSClaudio Fontana if (is_dirty) { 285e7f2670fSClaudio Fontana pte |= PG_DIRTY_MASK; 286e7f2670fSClaudio Fontana } 287e7f2670fSClaudio Fontana x86_stl_phys_notdirty(cs, pte_addr, pte); 288e7f2670fSClaudio Fontana } 289e7f2670fSClaudio Fontana 290e7f2670fSClaudio Fontana if (!(pte & PG_DIRTY_MASK)) { 291e7f2670fSClaudio Fontana /* only set write access if already dirty... otherwise wait 292e7f2670fSClaudio Fontana for dirty access */ 293e7f2670fSClaudio Fontana assert(!is_write); 294661ff487SPaolo Bonzini *prot &= ~PAGE_WRITE; 295e7f2670fSClaudio Fontana } 296e7f2670fSClaudio Fontana 297e7f2670fSClaudio Fontana pte = pte & a20_mask; 298e7f2670fSClaudio Fontana 299e7f2670fSClaudio Fontana /* align to page_size */ 300661ff487SPaolo Bonzini pte &= PG_ADDRESS_MASK & ~(*page_size - 1); 301661ff487SPaolo Bonzini page_offset = addr & (*page_size - 1); 302*487d1133SRichard Henderson *xlat = GET_HPHYS(cs, pte + page_offset, access_type, prot); 303661ff487SPaolo Bonzini return PG_ERROR_OK; 304e7f2670fSClaudio Fontana 305e7f2670fSClaudio Fontana do_fault_rsvd: 306e7f2670fSClaudio Fontana error_code |= PG_ERROR_RSVD_MASK; 307e7f2670fSClaudio Fontana do_fault_protect: 308e7f2670fSClaudio Fontana error_code |= PG_ERROR_P_MASK; 309e7f2670fSClaudio Fontana do_fault: 310e7f2670fSClaudio Fontana error_code |= (is_write << PG_ERROR_W_BIT); 311e7f2670fSClaudio Fontana if (is_user) 312e7f2670fSClaudio Fontana error_code |= PG_ERROR_U_MASK; 313*487d1133SRichard Henderson if (access_type == MMU_INST_FETCH && 314991ec976SPaolo Bonzini ((pg_mode & PG_MODE_NXE) || (pg_mode & PG_MODE_SMEP))) 315e7f2670fSClaudio Fontana error_code |= PG_ERROR_I_D_MASK; 316661ff487SPaolo Bonzini return error_code; 317661ff487SPaolo Bonzini } 318661ff487SPaolo Bonzini 31952fb8ad3SLara Lazier hwaddr get_hphys(CPUState *cs, hwaddr gphys, MMUAccessType access_type, 32068746930SPaolo Bonzini int *prot) 32168746930SPaolo Bonzini { 32268746930SPaolo Bonzini CPUX86State *env = &X86_CPU(cs)->env; 32368746930SPaolo Bonzini uint64_t exit_info_1; 32468746930SPaolo Bonzini int page_size; 32568746930SPaolo Bonzini int next_prot; 32668746930SPaolo Bonzini hwaddr hphys; 32768746930SPaolo Bonzini 32868746930SPaolo Bonzini if (likely(!(env->hflags2 & HF2_NPT_MASK))) { 32968746930SPaolo Bonzini return gphys; 33068746930SPaolo Bonzini } 33168746930SPaolo Bonzini 33268746930SPaolo Bonzini exit_info_1 = mmu_translate(cs, gphys, NULL, env->nested_cr3, 33368746930SPaolo Bonzini access_type, MMU_USER_IDX, env->nested_pg_mode, 33468746930SPaolo Bonzini &hphys, &page_size, &next_prot); 33568746930SPaolo Bonzini if (exit_info_1 == PG_ERROR_OK) { 33668746930SPaolo Bonzini if (prot) { 33768746930SPaolo Bonzini *prot &= next_prot; 33868746930SPaolo Bonzini } 33968746930SPaolo Bonzini return hphys; 34068746930SPaolo Bonzini } 34168746930SPaolo Bonzini 34268746930SPaolo Bonzini x86_stq_phys(cs, env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2), 34368746930SPaolo Bonzini gphys); 34468746930SPaolo Bonzini if (prot) { 34568746930SPaolo Bonzini exit_info_1 |= SVM_NPTEXIT_GPA; 34668746930SPaolo Bonzini } else { /* page table access */ 34768746930SPaolo Bonzini exit_info_1 |= SVM_NPTEXIT_GPT; 34868746930SPaolo Bonzini } 34968746930SPaolo Bonzini cpu_vmexit(env, SVM_EXIT_NPF, exit_info_1, env->retaddr); 35068746930SPaolo Bonzini } 35168746930SPaolo Bonzini 352661ff487SPaolo Bonzini /* return value: 353661ff487SPaolo Bonzini * -1 = cannot handle fault 354661ff487SPaolo Bonzini * 0 = nothing more to do 355661ff487SPaolo Bonzini * 1 = generate PF fault 356661ff487SPaolo Bonzini */ 357661ff487SPaolo Bonzini static int handle_mmu_fault(CPUState *cs, vaddr addr, int size, 358*487d1133SRichard Henderson MMUAccessType access_type, int mmu_idx) 359661ff487SPaolo Bonzini { 360661ff487SPaolo Bonzini X86CPU *cpu = X86_CPU(cs); 361661ff487SPaolo Bonzini CPUX86State *env = &cpu->env; 362661ff487SPaolo Bonzini int error_code = PG_ERROR_OK; 36331dd35ebSPaolo Bonzini int pg_mode, prot, page_size; 3649f9dcb96SStephen Michael Jothen int32_t a20_mask; 365661ff487SPaolo Bonzini hwaddr paddr; 36668746930SPaolo Bonzini hwaddr vaddr; 367661ff487SPaolo Bonzini 368661ff487SPaolo Bonzini #if defined(DEBUG_MMU) 369661ff487SPaolo Bonzini printf("MMU fault: addr=%" VADDR_PRIx " w=%d mmu=%d eip=" TARGET_FMT_lx "\n", 370*487d1133SRichard Henderson addr, access_type, mmu_idx, env->eip); 371661ff487SPaolo Bonzini #endif 372661ff487SPaolo Bonzini 373661ff487SPaolo Bonzini if (!(env->cr[0] & CR0_PG_MASK)) { 3749f9dcb96SStephen Michael Jothen a20_mask = x86_get_a20_mask(env); 3759f9dcb96SStephen Michael Jothen paddr = addr & a20_mask; 376661ff487SPaolo Bonzini #ifdef TARGET_X86_64 377661ff487SPaolo Bonzini if (!(env->hflags & HF_LMA_MASK)) { 378661ff487SPaolo Bonzini /* Without long mode we can only address 32bits in real mode */ 379661ff487SPaolo Bonzini paddr = (uint32_t)paddr; 380661ff487SPaolo Bonzini } 381661ff487SPaolo Bonzini #endif 382661ff487SPaolo Bonzini prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 383661ff487SPaolo Bonzini page_size = 4096; 384661ff487SPaolo Bonzini } else { 38531dd35ebSPaolo Bonzini pg_mode = get_pg_mode(env); 386b04dc92eSPaolo Bonzini if (pg_mode & PG_MODE_LMA) { 387b04dc92eSPaolo Bonzini int32_t sext; 388b04dc92eSPaolo Bonzini 389b04dc92eSPaolo Bonzini /* test virtual address sign extension */ 390b04dc92eSPaolo Bonzini sext = (int64_t)addr >> (pg_mode & PG_MODE_LA57 ? 56 : 47); 391b04dc92eSPaolo Bonzini if (sext != 0 && sext != -1) { 392b04dc92eSPaolo Bonzini env->error_code = 0; 393b04dc92eSPaolo Bonzini cs->exception_index = EXCP0D_GPF; 394b04dc92eSPaolo Bonzini return 1; 395b04dc92eSPaolo Bonzini } 396b04dc92eSPaolo Bonzini } 397b04dc92eSPaolo Bonzini 398*487d1133SRichard Henderson error_code = mmu_translate(cs, addr, get_hphys, env->cr[3], access_type, 39931dd35ebSPaolo Bonzini mmu_idx, pg_mode, 400661ff487SPaolo Bonzini &paddr, &page_size, &prot); 401661ff487SPaolo Bonzini } 402661ff487SPaolo Bonzini 403661ff487SPaolo Bonzini if (error_code == PG_ERROR_OK) { 404661ff487SPaolo Bonzini /* Even if 4MB pages, we map only one 4KB page in the cache to 405661ff487SPaolo Bonzini avoid filling it too fast */ 406661ff487SPaolo Bonzini vaddr = addr & TARGET_PAGE_MASK; 407661ff487SPaolo Bonzini paddr &= TARGET_PAGE_MASK; 408661ff487SPaolo Bonzini 409*487d1133SRichard Henderson assert(prot & (1 << access_type)); 410661ff487SPaolo Bonzini tlb_set_page_with_attrs(cs, vaddr, paddr, cpu_get_mem_attrs(env), 411661ff487SPaolo Bonzini prot, mmu_idx, page_size); 412661ff487SPaolo Bonzini return 0; 413661ff487SPaolo Bonzini } else { 414e7f2670fSClaudio Fontana if (env->intercept_exceptions & (1 << EXCP0E_PAGE)) { 415e7f2670fSClaudio Fontana /* cr2 is not modified in case of exceptions */ 416e7f2670fSClaudio Fontana x86_stq_phys(cs, 417e7f2670fSClaudio Fontana env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2), 418e7f2670fSClaudio Fontana addr); 419e7f2670fSClaudio Fontana } else { 420e7f2670fSClaudio Fontana env->cr[2] = addr; 421e7f2670fSClaudio Fontana } 422e7f2670fSClaudio Fontana env->error_code = error_code; 423e7f2670fSClaudio Fontana cs->exception_index = EXCP0E_PAGE; 424e7f2670fSClaudio Fontana return 1; 425e7f2670fSClaudio Fontana } 426661ff487SPaolo Bonzini } 427e7f2670fSClaudio Fontana 428e7f2670fSClaudio Fontana bool x86_cpu_tlb_fill(CPUState *cs, vaddr addr, int size, 429e7f2670fSClaudio Fontana MMUAccessType access_type, int mmu_idx, 430e7f2670fSClaudio Fontana bool probe, uintptr_t retaddr) 431e7f2670fSClaudio Fontana { 432e7f2670fSClaudio Fontana X86CPU *cpu = X86_CPU(cs); 433e7f2670fSClaudio Fontana CPUX86State *env = &cpu->env; 434e7f2670fSClaudio Fontana 435e7f2670fSClaudio Fontana env->retaddr = retaddr; 436e7f2670fSClaudio Fontana if (handle_mmu_fault(cs, addr, size, access_type, mmu_idx)) { 437e7f2670fSClaudio Fontana /* FIXME: On error in get_hphys we have already jumped out. */ 438e7f2670fSClaudio Fontana g_assert(!probe); 439e7f2670fSClaudio Fontana raise_exception_err_ra(env, cs->exception_index, 440e7f2670fSClaudio Fontana env->error_code, retaddr); 441e7f2670fSClaudio Fontana } 442e7f2670fSClaudio Fontana return true; 443e7f2670fSClaudio Fontana } 444958e1dd1SPaolo Bonzini 445958e1dd1SPaolo Bonzini G_NORETURN void x86_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr, 446958e1dd1SPaolo Bonzini MMUAccessType access_type, 447958e1dd1SPaolo Bonzini int mmu_idx, uintptr_t retaddr) 448958e1dd1SPaolo Bonzini { 449958e1dd1SPaolo Bonzini X86CPU *cpu = X86_CPU(cs); 450958e1dd1SPaolo Bonzini handle_unaligned_access(&cpu->env, vaddr, access_type, retaddr); 451958e1dd1SPaolo Bonzini } 452