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 253563362dSRichard Henderson typedef struct TranslateParams { 263563362dSRichard Henderson target_ulong addr; 273563362dSRichard Henderson target_ulong cr3; 283563362dSRichard Henderson int pg_mode; 293563362dSRichard Henderson int mmu_idx; 30*4a1e9d4dSRichard Henderson int ptw_idx; 313563362dSRichard Henderson MMUAccessType access_type; 323563362dSRichard Henderson } TranslateParams; 333563362dSRichard Henderson 343563362dSRichard Henderson typedef struct TranslateResult { 353563362dSRichard Henderson hwaddr paddr; 363563362dSRichard Henderson int prot; 373563362dSRichard Henderson int page_size; 383563362dSRichard Henderson } TranslateResult; 393563362dSRichard Henderson 409bbcf372SRichard Henderson typedef enum TranslateFaultStage2 { 419bbcf372SRichard Henderson S2_NONE, 429bbcf372SRichard Henderson S2_GPA, 439bbcf372SRichard Henderson S2_GPT, 449bbcf372SRichard Henderson } TranslateFaultStage2; 459bbcf372SRichard Henderson 463563362dSRichard Henderson typedef struct TranslateFault { 473563362dSRichard Henderson int exception_index; 483563362dSRichard Henderson int error_code; 493563362dSRichard Henderson target_ulong cr2; 509bbcf372SRichard Henderson TranslateFaultStage2 stage2; 513563362dSRichard Henderson } TranslateFault; 52661ff487SPaolo Bonzini 53*4a1e9d4dSRichard Henderson typedef struct PTETranslate { 54*4a1e9d4dSRichard Henderson CPUX86State *env; 55*4a1e9d4dSRichard Henderson TranslateFault *err; 56*4a1e9d4dSRichard Henderson int ptw_idx; 57*4a1e9d4dSRichard Henderson void *haddr; 58*4a1e9d4dSRichard Henderson hwaddr gaddr; 59*4a1e9d4dSRichard Henderson } PTETranslate; 60*4a1e9d4dSRichard Henderson 61*4a1e9d4dSRichard Henderson static bool ptw_translate(PTETranslate *inout, hwaddr addr) 62*4a1e9d4dSRichard Henderson { 63*4a1e9d4dSRichard Henderson CPUTLBEntryFull *full; 64*4a1e9d4dSRichard Henderson int flags; 65*4a1e9d4dSRichard Henderson 66*4a1e9d4dSRichard Henderson inout->gaddr = addr; 67*4a1e9d4dSRichard Henderson flags = probe_access_full(inout->env, addr, MMU_DATA_STORE, 68*4a1e9d4dSRichard Henderson inout->ptw_idx, true, &inout->haddr, &full, 0); 69*4a1e9d4dSRichard Henderson 70*4a1e9d4dSRichard Henderson if (unlikely(flags & TLB_INVALID_MASK)) { 71*4a1e9d4dSRichard Henderson TranslateFault *err = inout->err; 72*4a1e9d4dSRichard Henderson 73*4a1e9d4dSRichard Henderson assert(inout->ptw_idx == MMU_NESTED_IDX); 74*4a1e9d4dSRichard Henderson err->exception_index = 0; /* unused */ 75*4a1e9d4dSRichard Henderson err->error_code = inout->env->error_code; 76*4a1e9d4dSRichard Henderson err->cr2 = addr; 77*4a1e9d4dSRichard Henderson err->stage2 = S2_GPT; 78*4a1e9d4dSRichard Henderson return false; 79*4a1e9d4dSRichard Henderson } 80*4a1e9d4dSRichard Henderson return true; 81*4a1e9d4dSRichard Henderson } 82*4a1e9d4dSRichard Henderson 83*4a1e9d4dSRichard Henderson static inline uint32_t ptw_ldl(const PTETranslate *in) 84*4a1e9d4dSRichard Henderson { 85*4a1e9d4dSRichard Henderson if (likely(in->haddr)) { 86*4a1e9d4dSRichard Henderson return ldl_p(in->haddr); 87*4a1e9d4dSRichard Henderson } 88*4a1e9d4dSRichard Henderson return cpu_ldl_mmuidx_ra(in->env, in->gaddr, in->ptw_idx, 0); 89*4a1e9d4dSRichard Henderson } 90*4a1e9d4dSRichard Henderson 91*4a1e9d4dSRichard Henderson static inline uint64_t ptw_ldq(const PTETranslate *in) 92*4a1e9d4dSRichard Henderson { 93*4a1e9d4dSRichard Henderson if (likely(in->haddr)) { 94*4a1e9d4dSRichard Henderson return ldq_p(in->haddr); 95*4a1e9d4dSRichard Henderson } 96*4a1e9d4dSRichard Henderson return cpu_ldq_mmuidx_ra(in->env, in->gaddr, in->ptw_idx, 0); 97*4a1e9d4dSRichard Henderson } 98*4a1e9d4dSRichard Henderson 99*4a1e9d4dSRichard Henderson /* 100*4a1e9d4dSRichard Henderson * Note that we can use a 32-bit cmpxchg for all page table entries, 101*4a1e9d4dSRichard Henderson * even 64-bit ones, because PG_PRESENT_MASK, PG_ACCESSED_MASK and 102*4a1e9d4dSRichard Henderson * PG_DIRTY_MASK are all in the low 32 bits. 103*4a1e9d4dSRichard Henderson */ 104*4a1e9d4dSRichard Henderson static bool ptw_setl_slow(const PTETranslate *in, uint32_t old, uint32_t new) 105*4a1e9d4dSRichard Henderson { 106*4a1e9d4dSRichard Henderson uint32_t cmp; 107*4a1e9d4dSRichard Henderson 108*4a1e9d4dSRichard Henderson /* Does x86 really perform a rmw cycle on mmio for ptw? */ 109*4a1e9d4dSRichard Henderson start_exclusive(); 110*4a1e9d4dSRichard Henderson cmp = cpu_ldl_mmuidx_ra(in->env, in->gaddr, in->ptw_idx, 0); 111*4a1e9d4dSRichard Henderson if (cmp == old) { 112*4a1e9d4dSRichard Henderson cpu_stl_mmuidx_ra(in->env, in->gaddr, new, in->ptw_idx, 0); 113*4a1e9d4dSRichard Henderson } 114*4a1e9d4dSRichard Henderson end_exclusive(); 115*4a1e9d4dSRichard Henderson return cmp == old; 116*4a1e9d4dSRichard Henderson } 117*4a1e9d4dSRichard Henderson 118*4a1e9d4dSRichard Henderson static inline bool ptw_setl(const PTETranslate *in, uint32_t old, uint32_t set) 119*4a1e9d4dSRichard Henderson { 120*4a1e9d4dSRichard Henderson if (set & ~old) { 121*4a1e9d4dSRichard Henderson uint32_t new = old | set; 122*4a1e9d4dSRichard Henderson if (likely(in->haddr)) { 123*4a1e9d4dSRichard Henderson old = cpu_to_le32(old); 124*4a1e9d4dSRichard Henderson new = cpu_to_le32(new); 125*4a1e9d4dSRichard Henderson return qatomic_cmpxchg((uint32_t *)in->haddr, old, new) == old; 126*4a1e9d4dSRichard Henderson } 127*4a1e9d4dSRichard Henderson return ptw_setl_slow(in, old, new); 128*4a1e9d4dSRichard Henderson } 129*4a1e9d4dSRichard Henderson return true; 130*4a1e9d4dSRichard Henderson } 13133ce155cSPaolo Bonzini 1323563362dSRichard Henderson static bool mmu_translate(CPUX86State *env, const TranslateParams *in, 1333563362dSRichard Henderson TranslateResult *out, TranslateFault *err) 134e7f2670fSClaudio Fontana { 1353563362dSRichard Henderson const int32_t a20_mask = x86_get_a20_mask(env); 1363563362dSRichard Henderson const target_ulong addr = in->addr; 1373563362dSRichard Henderson const int pg_mode = in->pg_mode; 1383563362dSRichard Henderson const bool is_user = (in->mmu_idx == MMU_USER_IDX); 1393563362dSRichard Henderson const MMUAccessType access_type = in->access_type; 140*4a1e9d4dSRichard Henderson uint64_t ptep, pte, rsvd_mask; 141*4a1e9d4dSRichard Henderson PTETranslate pte_trans = { 142*4a1e9d4dSRichard Henderson .env = env, 143*4a1e9d4dSRichard Henderson .err = err, 144*4a1e9d4dSRichard Henderson .ptw_idx = in->ptw_idx, 145*4a1e9d4dSRichard Henderson }; 14611b4e971SRichard Henderson hwaddr pte_addr; 147e7f2670fSClaudio Fontana uint32_t pkr; 1483563362dSRichard Henderson int page_size; 149e7f2670fSClaudio Fontana 150*4a1e9d4dSRichard Henderson restart_all: 151*4a1e9d4dSRichard Henderson rsvd_mask = ~MAKE_64BIT_MASK(0, env_archcpu(env)->phys_bits); 152*4a1e9d4dSRichard Henderson rsvd_mask &= PG_ADDRESS_MASK; 15331dd35ebSPaolo Bonzini if (!(pg_mode & PG_MODE_NXE)) { 154e7f2670fSClaudio Fontana rsvd_mask |= PG_NX_MASK; 155e7f2670fSClaudio Fontana } 156e7f2670fSClaudio Fontana 15731dd35ebSPaolo Bonzini if (pg_mode & PG_MODE_PAE) { 158e7f2670fSClaudio Fontana #ifdef TARGET_X86_64 15993eae358SPaolo Bonzini if (pg_mode & PG_MODE_LMA) { 16011b4e971SRichard Henderson if (pg_mode & PG_MODE_LA57) { 16111b4e971SRichard Henderson /* 16211b4e971SRichard Henderson * Page table level 5 16311b4e971SRichard Henderson */ 16411b4e971SRichard Henderson pte_addr = ((in->cr3 & ~0xfff) + 165e7f2670fSClaudio Fontana (((addr >> 48) & 0x1ff) << 3)) & a20_mask; 166*4a1e9d4dSRichard Henderson if (!ptw_translate(&pte_trans, pte_addr)) { 167*4a1e9d4dSRichard Henderson return false; 168*4a1e9d4dSRichard Henderson } 169*4a1e9d4dSRichard Henderson restart_5: 170*4a1e9d4dSRichard Henderson pte = ptw_ldq(&pte_trans); 17111b4e971SRichard Henderson if (!(pte & PG_PRESENT_MASK)) { 172e7f2670fSClaudio Fontana goto do_fault; 173e7f2670fSClaudio Fontana } 17411b4e971SRichard Henderson if (pte & (rsvd_mask | PG_PSE_MASK)) { 175e7f2670fSClaudio Fontana goto do_fault_rsvd; 176e7f2670fSClaudio Fontana } 177*4a1e9d4dSRichard Henderson if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) { 178*4a1e9d4dSRichard Henderson goto restart_5; 179e7f2670fSClaudio Fontana } 18011b4e971SRichard Henderson ptep = pte ^ PG_NX_MASK; 181e7f2670fSClaudio Fontana } else { 18211b4e971SRichard Henderson pte = in->cr3; 183e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 184e7f2670fSClaudio Fontana } 185e7f2670fSClaudio Fontana 18611b4e971SRichard Henderson /* 18711b4e971SRichard Henderson * Page table level 4 18811b4e971SRichard Henderson */ 18911b4e971SRichard Henderson pte_addr = ((pte & PG_ADDRESS_MASK) + 190e7f2670fSClaudio Fontana (((addr >> 39) & 0x1ff) << 3)) & a20_mask; 191*4a1e9d4dSRichard Henderson if (!ptw_translate(&pte_trans, pte_addr)) { 192*4a1e9d4dSRichard Henderson return false; 193*4a1e9d4dSRichard Henderson } 194*4a1e9d4dSRichard Henderson restart_4: 195*4a1e9d4dSRichard Henderson pte = ptw_ldq(&pte_trans); 19611b4e971SRichard Henderson if (!(pte & PG_PRESENT_MASK)) { 197e7f2670fSClaudio Fontana goto do_fault; 198e7f2670fSClaudio Fontana } 19911b4e971SRichard Henderson if (pte & (rsvd_mask | PG_PSE_MASK)) { 200e7f2670fSClaudio Fontana goto do_fault_rsvd; 201e7f2670fSClaudio Fontana } 202*4a1e9d4dSRichard Henderson if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) { 203*4a1e9d4dSRichard Henderson goto restart_4; 204e7f2670fSClaudio Fontana } 20511b4e971SRichard Henderson ptep &= pte ^ PG_NX_MASK; 20611b4e971SRichard Henderson 20711b4e971SRichard Henderson /* 20811b4e971SRichard Henderson * Page table level 3 20911b4e971SRichard Henderson */ 21011b4e971SRichard Henderson pte_addr = ((pte & PG_ADDRESS_MASK) + 21111b4e971SRichard Henderson (((addr >> 30) & 0x1ff) << 3)) & a20_mask; 212*4a1e9d4dSRichard Henderson if (!ptw_translate(&pte_trans, pte_addr)) { 213*4a1e9d4dSRichard Henderson return false; 214*4a1e9d4dSRichard Henderson } 215*4a1e9d4dSRichard Henderson restart_3_lma: 216*4a1e9d4dSRichard Henderson pte = ptw_ldq(&pte_trans); 21711b4e971SRichard Henderson if (!(pte & PG_PRESENT_MASK)) { 218e7f2670fSClaudio Fontana goto do_fault; 219e7f2670fSClaudio Fontana } 22011b4e971SRichard Henderson if (pte & rsvd_mask) { 221e7f2670fSClaudio Fontana goto do_fault_rsvd; 222e7f2670fSClaudio Fontana } 223*4a1e9d4dSRichard Henderson if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) { 224*4a1e9d4dSRichard Henderson goto restart_3_lma; 225e7f2670fSClaudio Fontana } 226*4a1e9d4dSRichard Henderson ptep &= pte ^ PG_NX_MASK; 22711b4e971SRichard Henderson if (pte & PG_PSE_MASK) { 228e7f2670fSClaudio Fontana /* 1 GB page */ 2293563362dSRichard Henderson page_size = 1024 * 1024 * 1024; 230e7f2670fSClaudio Fontana goto do_check_protect; 231e7f2670fSClaudio Fontana } 232e7f2670fSClaudio Fontana } else 233e7f2670fSClaudio Fontana #endif 234e7f2670fSClaudio Fontana { 23511b4e971SRichard Henderson /* 23611b4e971SRichard Henderson * Page table level 3 23711b4e971SRichard Henderson */ 23811b4e971SRichard Henderson pte_addr = ((in->cr3 & ~0x1f) + ((addr >> 27) & 0x18)) & a20_mask; 239*4a1e9d4dSRichard Henderson if (!ptw_translate(&pte_trans, pte_addr)) { 240*4a1e9d4dSRichard Henderson return false; 241*4a1e9d4dSRichard Henderson } 242*4a1e9d4dSRichard Henderson rsvd_mask |= PG_HI_USER_MASK; 243*4a1e9d4dSRichard Henderson restart_3_nolma: 244*4a1e9d4dSRichard Henderson pte = ptw_ldq(&pte_trans); 24511b4e971SRichard Henderson if (!(pte & PG_PRESENT_MASK)) { 246e7f2670fSClaudio Fontana goto do_fault; 247e7f2670fSClaudio Fontana } 24811b4e971SRichard Henderson if (pte & (rsvd_mask | PG_NX_MASK)) { 249e7f2670fSClaudio Fontana goto do_fault_rsvd; 250e7f2670fSClaudio Fontana } 251*4a1e9d4dSRichard Henderson if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) { 252*4a1e9d4dSRichard Henderson goto restart_3_nolma; 253*4a1e9d4dSRichard Henderson } 254e7f2670fSClaudio Fontana ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK; 255e7f2670fSClaudio Fontana } 256e7f2670fSClaudio Fontana 25711b4e971SRichard Henderson /* 25811b4e971SRichard Henderson * Page table level 2 25911b4e971SRichard Henderson */ 26011b4e971SRichard Henderson pte_addr = ((pte & PG_ADDRESS_MASK) + 26111b4e971SRichard Henderson (((addr >> 21) & 0x1ff) << 3)) & a20_mask; 262*4a1e9d4dSRichard Henderson if (!ptw_translate(&pte_trans, pte_addr)) { 263*4a1e9d4dSRichard Henderson return false; 264*4a1e9d4dSRichard Henderson } 265*4a1e9d4dSRichard Henderson restart_2_pae: 266*4a1e9d4dSRichard Henderson pte = ptw_ldq(&pte_trans); 26711b4e971SRichard Henderson if (!(pte & PG_PRESENT_MASK)) { 268e7f2670fSClaudio Fontana goto do_fault; 269e7f2670fSClaudio Fontana } 27011b4e971SRichard Henderson if (pte & rsvd_mask) { 271e7f2670fSClaudio Fontana goto do_fault_rsvd; 272e7f2670fSClaudio Fontana } 27311b4e971SRichard Henderson if (pte & PG_PSE_MASK) { 274e7f2670fSClaudio Fontana /* 2 MB page */ 2753563362dSRichard Henderson page_size = 2048 * 1024; 276*4a1e9d4dSRichard Henderson ptep &= pte ^ PG_NX_MASK; 277e7f2670fSClaudio Fontana goto do_check_protect; 278e7f2670fSClaudio Fontana } 279*4a1e9d4dSRichard Henderson if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) { 280*4a1e9d4dSRichard Henderson goto restart_2_pae; 281e7f2670fSClaudio Fontana } 282*4a1e9d4dSRichard Henderson ptep &= pte ^ PG_NX_MASK; 28311b4e971SRichard Henderson 28411b4e971SRichard Henderson /* 28511b4e971SRichard Henderson * Page table level 1 28611b4e971SRichard Henderson */ 28711b4e971SRichard Henderson pte_addr = ((pte & PG_ADDRESS_MASK) + 28811b4e971SRichard Henderson (((addr >> 12) & 0x1ff) << 3)) & a20_mask; 289*4a1e9d4dSRichard Henderson if (!ptw_translate(&pte_trans, pte_addr)) { 290*4a1e9d4dSRichard Henderson return false; 291*4a1e9d4dSRichard Henderson } 292*4a1e9d4dSRichard Henderson pte = ptw_ldq(&pte_trans); 293e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 294e7f2670fSClaudio Fontana goto do_fault; 295e7f2670fSClaudio Fontana } 296e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 297e7f2670fSClaudio Fontana goto do_fault_rsvd; 298e7f2670fSClaudio Fontana } 299e7f2670fSClaudio Fontana /* combine pde and pte nx, user and rw protections */ 300e7f2670fSClaudio Fontana ptep &= pte ^ PG_NX_MASK; 3013563362dSRichard Henderson page_size = 4096; 302e7f2670fSClaudio Fontana } else { 30311b4e971SRichard Henderson /* 30411b4e971SRichard Henderson * Page table level 2 30511b4e971SRichard Henderson */ 30611b4e971SRichard Henderson pte_addr = ((in->cr3 & ~0xfff) + ((addr >> 20) & 0xffc)) & a20_mask; 307*4a1e9d4dSRichard Henderson if (!ptw_translate(&pte_trans, pte_addr)) { 308*4a1e9d4dSRichard Henderson return false; 309*4a1e9d4dSRichard Henderson } 310*4a1e9d4dSRichard Henderson restart_2_nopae: 311*4a1e9d4dSRichard Henderson pte = ptw_ldl(&pte_trans); 31211b4e971SRichard Henderson if (!(pte & PG_PRESENT_MASK)) { 313e7f2670fSClaudio Fontana goto do_fault; 314e7f2670fSClaudio Fontana } 31511b4e971SRichard Henderson ptep = pte | PG_NX_MASK; 316e7f2670fSClaudio Fontana 317e7f2670fSClaudio Fontana /* if PSE bit is set, then we use a 4MB page */ 31811b4e971SRichard Henderson if ((pte & PG_PSE_MASK) && (pg_mode & PG_MODE_PSE)) { 3193563362dSRichard Henderson page_size = 4096 * 1024; 32011b4e971SRichard Henderson /* 32111b4e971SRichard Henderson * Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved. 322e7f2670fSClaudio Fontana * Leave bits 20-13 in place for setting accessed/dirty bits below. 323e7f2670fSClaudio Fontana */ 32411b4e971SRichard Henderson pte = (uint32_t)pte | ((pte & 0x1fe000LL) << (32 - 13)); 325e7f2670fSClaudio Fontana rsvd_mask = 0x200000; 326e7f2670fSClaudio Fontana goto do_check_protect_pse36; 327e7f2670fSClaudio Fontana } 328*4a1e9d4dSRichard Henderson if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) { 329*4a1e9d4dSRichard Henderson goto restart_2_nopae; 330e7f2670fSClaudio Fontana } 331e7f2670fSClaudio Fontana 33211b4e971SRichard Henderson /* 33311b4e971SRichard Henderson * Page table level 1 33411b4e971SRichard Henderson */ 33511b4e971SRichard Henderson pte_addr = ((pte & ~0xfffu) + ((addr >> 10) & 0xffc)) & a20_mask; 336*4a1e9d4dSRichard Henderson if (!ptw_translate(&pte_trans, pte_addr)) { 337*4a1e9d4dSRichard Henderson return false; 338*4a1e9d4dSRichard Henderson } 339*4a1e9d4dSRichard Henderson pte = ptw_ldl(&pte_trans); 340e7f2670fSClaudio Fontana if (!(pte & PG_PRESENT_MASK)) { 341e7f2670fSClaudio Fontana goto do_fault; 342e7f2670fSClaudio Fontana } 343e7f2670fSClaudio Fontana /* combine pde and pte user and rw protections */ 344e7f2670fSClaudio Fontana ptep &= pte | PG_NX_MASK; 3453563362dSRichard Henderson page_size = 4096; 346e7f2670fSClaudio Fontana rsvd_mask = 0; 347e7f2670fSClaudio Fontana } 348e7f2670fSClaudio Fontana 349e7f2670fSClaudio Fontana do_check_protect: 3503563362dSRichard Henderson rsvd_mask |= (page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK; 351e7f2670fSClaudio Fontana do_check_protect_pse36: 352e7f2670fSClaudio Fontana if (pte & rsvd_mask) { 353e7f2670fSClaudio Fontana goto do_fault_rsvd; 354e7f2670fSClaudio Fontana } 355e7f2670fSClaudio Fontana ptep ^= PG_NX_MASK; 356e7f2670fSClaudio Fontana 357e7f2670fSClaudio Fontana /* can the page can be put in the TLB? prot will tell us */ 358e7f2670fSClaudio Fontana if (is_user && !(ptep & PG_USER_MASK)) { 359e7f2670fSClaudio Fontana goto do_fault_protect; 360e7f2670fSClaudio Fontana } 361e7f2670fSClaudio Fontana 3623563362dSRichard Henderson int prot = 0; 3633563362dSRichard Henderson if (in->mmu_idx != MMU_KSMAP_IDX || !(ptep & PG_USER_MASK)) { 3643563362dSRichard Henderson prot |= PAGE_READ; 36531dd35ebSPaolo Bonzini if ((ptep & PG_RW_MASK) || !(is_user || (pg_mode & PG_MODE_WP))) { 3663563362dSRichard Henderson prot |= PAGE_WRITE; 367e7f2670fSClaudio Fontana } 368e7f2670fSClaudio Fontana } 369e7f2670fSClaudio Fontana if (!(ptep & PG_NX_MASK) && 3703563362dSRichard Henderson (is_user || 37131dd35ebSPaolo Bonzini !((pg_mode & PG_MODE_SMEP) && (ptep & PG_USER_MASK)))) { 3723563362dSRichard Henderson prot |= PAGE_EXEC; 373e7f2670fSClaudio Fontana } 374e7f2670fSClaudio Fontana 375991ec976SPaolo Bonzini if (ptep & PG_USER_MASK) { 37631dd35ebSPaolo Bonzini pkr = pg_mode & PG_MODE_PKE ? env->pkru : 0; 377e7f2670fSClaudio Fontana } else { 37831dd35ebSPaolo Bonzini pkr = pg_mode & PG_MODE_PKS ? env->pkrs : 0; 379e7f2670fSClaudio Fontana } 380e7f2670fSClaudio Fontana if (pkr) { 381e7f2670fSClaudio Fontana uint32_t pk = (pte & PG_PKRU_MASK) >> PG_PKRU_BIT; 382e7f2670fSClaudio Fontana uint32_t pkr_ad = (pkr >> pk * 2) & 1; 383e7f2670fSClaudio Fontana uint32_t pkr_wd = (pkr >> pk * 2) & 2; 384e7f2670fSClaudio Fontana uint32_t pkr_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 385e7f2670fSClaudio Fontana 386e7f2670fSClaudio Fontana if (pkr_ad) { 387e7f2670fSClaudio Fontana pkr_prot &= ~(PAGE_READ | PAGE_WRITE); 38831dd35ebSPaolo Bonzini } else if (pkr_wd && (is_user || (pg_mode & PG_MODE_WP))) { 389e7f2670fSClaudio Fontana pkr_prot &= ~PAGE_WRITE; 390e7f2670fSClaudio Fontana } 391487d1133SRichard Henderson if ((pkr_prot & (1 << access_type)) == 0) { 3923563362dSRichard Henderson goto do_fault_pk_protect; 393e7f2670fSClaudio Fontana } 3943563362dSRichard Henderson prot &= pkr_prot; 395e7f2670fSClaudio Fontana } 396e7f2670fSClaudio Fontana 3973563362dSRichard Henderson if ((prot & (1 << access_type)) == 0) { 398e7f2670fSClaudio Fontana goto do_fault_protect; 399e7f2670fSClaudio Fontana } 400e7f2670fSClaudio Fontana 401e7f2670fSClaudio Fontana /* yes, it can! */ 4023563362dSRichard Henderson { 4033563362dSRichard Henderson uint32_t set = PG_ACCESSED_MASK; 4043563362dSRichard Henderson if (access_type == MMU_DATA_STORE) { 4053563362dSRichard Henderson set |= PG_DIRTY_MASK; 406*4a1e9d4dSRichard Henderson } else if (!(pte & PG_DIRTY_MASK)) { 407*4a1e9d4dSRichard Henderson /* 408*4a1e9d4dSRichard Henderson * Only set write access if already dirty... 409*4a1e9d4dSRichard Henderson * otherwise wait for dirty access. 410*4a1e9d4dSRichard Henderson */ 4113563362dSRichard Henderson prot &= ~PAGE_WRITE; 412e7f2670fSClaudio Fontana } 413*4a1e9d4dSRichard Henderson if (!ptw_setl(&pte_trans, pte, set)) { 414*4a1e9d4dSRichard Henderson /* 415*4a1e9d4dSRichard Henderson * We can arrive here from any of 3 levels and 2 formats. 416*4a1e9d4dSRichard Henderson * The only safe thing is to restart the entire lookup. 417*4a1e9d4dSRichard Henderson */ 418*4a1e9d4dSRichard Henderson goto restart_all; 419*4a1e9d4dSRichard Henderson } 420*4a1e9d4dSRichard Henderson } 421e7f2670fSClaudio Fontana 422e7f2670fSClaudio Fontana /* align to page_size */ 4233563362dSRichard Henderson out->paddr = (pte & a20_mask & PG_ADDRESS_MASK & ~(page_size - 1)) 4243563362dSRichard Henderson | (addr & (page_size - 1)); 4259bbcf372SRichard Henderson 426*4a1e9d4dSRichard Henderson if (in->ptw_idx == MMU_NESTED_IDX) { 427*4a1e9d4dSRichard Henderson TranslateParams nested_in = { 428*4a1e9d4dSRichard Henderson .addr = out->paddr, 429*4a1e9d4dSRichard Henderson .access_type = access_type, 430*4a1e9d4dSRichard Henderson .cr3 = env->nested_cr3, 431*4a1e9d4dSRichard Henderson .pg_mode = env->nested_pg_mode, 432*4a1e9d4dSRichard Henderson .mmu_idx = MMU_USER_IDX, 433*4a1e9d4dSRichard Henderson .ptw_idx = MMU_PHYS_IDX, 434*4a1e9d4dSRichard Henderson }; 4359bbcf372SRichard Henderson 4369bbcf372SRichard Henderson if (!mmu_translate(env, &nested_in, out, err)) { 4379bbcf372SRichard Henderson err->stage2 = S2_GPA; 4389bbcf372SRichard Henderson return false; 4399bbcf372SRichard Henderson } 4409bbcf372SRichard Henderson 4419bbcf372SRichard Henderson /* Merge stage1 & stage2 protection bits. */ 4429bbcf372SRichard Henderson prot &= out->prot; 4439bbcf372SRichard Henderson 4449bbcf372SRichard Henderson /* Re-verify resulting protection. */ 4459bbcf372SRichard Henderson if ((prot & (1 << access_type)) == 0) { 4469bbcf372SRichard Henderson goto do_fault_protect; 4479bbcf372SRichard Henderson } 4489bbcf372SRichard Henderson } 4499bbcf372SRichard Henderson 4509bbcf372SRichard Henderson out->prot = prot; 4519bbcf372SRichard Henderson out->page_size = page_size; 4523563362dSRichard Henderson return true; 453e7f2670fSClaudio Fontana 4543563362dSRichard Henderson int error_code; 455e7f2670fSClaudio Fontana do_fault_rsvd: 4563563362dSRichard Henderson error_code = PG_ERROR_RSVD_MASK; 4573563362dSRichard Henderson goto do_fault_cont; 458e7f2670fSClaudio Fontana do_fault_protect: 4593563362dSRichard Henderson error_code = PG_ERROR_P_MASK; 4603563362dSRichard Henderson goto do_fault_cont; 4613563362dSRichard Henderson do_fault_pk_protect: 4623563362dSRichard Henderson assert(access_type != MMU_INST_FETCH); 4633563362dSRichard Henderson error_code = PG_ERROR_PK_MASK | PG_ERROR_P_MASK; 4643563362dSRichard Henderson goto do_fault_cont; 465e7f2670fSClaudio Fontana do_fault: 4663563362dSRichard Henderson error_code = 0; 4673563362dSRichard Henderson do_fault_cont: 4683563362dSRichard Henderson if (is_user) { 469e7f2670fSClaudio Fontana error_code |= PG_ERROR_U_MASK; 4703563362dSRichard Henderson } 4713563362dSRichard Henderson switch (access_type) { 4723563362dSRichard Henderson case MMU_DATA_LOAD: 4733563362dSRichard Henderson break; 4743563362dSRichard Henderson case MMU_DATA_STORE: 4753563362dSRichard Henderson error_code |= PG_ERROR_W_MASK; 4763563362dSRichard Henderson break; 4773563362dSRichard Henderson case MMU_INST_FETCH: 4783563362dSRichard Henderson if (pg_mode & (PG_MODE_NXE | PG_MODE_SMEP)) { 479e7f2670fSClaudio Fontana error_code |= PG_ERROR_I_D_MASK; 4803563362dSRichard Henderson } 4813563362dSRichard Henderson break; 4823563362dSRichard Henderson } 4833563362dSRichard Henderson err->exception_index = EXCP0E_PAGE; 4843563362dSRichard Henderson err->error_code = error_code; 4853563362dSRichard Henderson err->cr2 = addr; 4869bbcf372SRichard Henderson err->stage2 = S2_NONE; 4873563362dSRichard Henderson return false; 488661ff487SPaolo Bonzini } 489661ff487SPaolo Bonzini 4909bbcf372SRichard Henderson static G_NORETURN void raise_stage2(CPUX86State *env, TranslateFault *err, 4919bbcf372SRichard Henderson uintptr_t retaddr) 4929bbcf372SRichard Henderson { 4939bbcf372SRichard Henderson uint64_t exit_info_1 = err->error_code; 4949bbcf372SRichard Henderson 4959bbcf372SRichard Henderson switch (err->stage2) { 4969bbcf372SRichard Henderson case S2_GPT: 4979bbcf372SRichard Henderson exit_info_1 |= SVM_NPTEXIT_GPT; 4989bbcf372SRichard Henderson break; 4999bbcf372SRichard Henderson case S2_GPA: 5009bbcf372SRichard Henderson exit_info_1 |= SVM_NPTEXIT_GPA; 5019bbcf372SRichard Henderson break; 5029bbcf372SRichard Henderson default: 5039bbcf372SRichard Henderson g_assert_not_reached(); 5049bbcf372SRichard Henderson } 5059bbcf372SRichard Henderson 5069bbcf372SRichard Henderson x86_stq_phys(env_cpu(env), 5079bbcf372SRichard Henderson env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2), 5089bbcf372SRichard Henderson err->cr2); 5099bbcf372SRichard Henderson cpu_vmexit(env, SVM_EXIT_NPF, exit_info_1, retaddr); 5109bbcf372SRichard Henderson } 5119bbcf372SRichard Henderson 5123563362dSRichard Henderson static bool get_physical_address(CPUX86State *env, vaddr addr, 5133563362dSRichard Henderson MMUAccessType access_type, int mmu_idx, 5143563362dSRichard Henderson TranslateResult *out, TranslateFault *err) 515661ff487SPaolo Bonzini { 51698281984SRichard Henderson TranslateParams in; 51798281984SRichard Henderson bool use_stage2 = env->hflags2 & HF2_NPT_MASK; 5183563362dSRichard Henderson 51998281984SRichard Henderson in.addr = addr; 52098281984SRichard Henderson in.access_type = access_type; 52198281984SRichard Henderson 52298281984SRichard Henderson switch (mmu_idx) { 52398281984SRichard Henderson case MMU_PHYS_IDX: 52498281984SRichard Henderson break; 52598281984SRichard Henderson 52698281984SRichard Henderson case MMU_NESTED_IDX: 52798281984SRichard Henderson if (likely(use_stage2)) { 52898281984SRichard Henderson in.cr3 = env->nested_cr3; 52998281984SRichard Henderson in.pg_mode = env->nested_pg_mode; 53098281984SRichard Henderson in.mmu_idx = MMU_USER_IDX; 531*4a1e9d4dSRichard Henderson in.ptw_idx = MMU_PHYS_IDX; 53298281984SRichard Henderson 53398281984SRichard Henderson if (!mmu_translate(env, &in, out, err)) { 53498281984SRichard Henderson err->stage2 = S2_GPA; 53598281984SRichard Henderson return false; 536661ff487SPaolo Bonzini } 5373563362dSRichard Henderson return true; 53898281984SRichard Henderson } 53998281984SRichard Henderson break; 540b04dc92eSPaolo Bonzini 54198281984SRichard Henderson default: 54298281984SRichard Henderson in.cr3 = env->cr[3]; 54398281984SRichard Henderson in.mmu_idx = mmu_idx; 544*4a1e9d4dSRichard Henderson in.ptw_idx = use_stage2 ? MMU_NESTED_IDX : MMU_PHYS_IDX; 54598281984SRichard Henderson in.pg_mode = get_pg_mode(env); 54698281984SRichard Henderson 54798281984SRichard Henderson if (likely(in.pg_mode)) { 5483563362dSRichard Henderson if (in.pg_mode & PG_MODE_LMA) { 549b04dc92eSPaolo Bonzini /* test virtual address sign extension */ 5503563362dSRichard Henderson int shift = in.pg_mode & PG_MODE_LA57 ? 56 : 47; 5513563362dSRichard Henderson int64_t sext = (int64_t)addr >> shift; 552b04dc92eSPaolo Bonzini if (sext != 0 && sext != -1) { 5533563362dSRichard Henderson err->exception_index = EXCP0D_GPF; 5543563362dSRichard Henderson err->error_code = 0; 5553563362dSRichard Henderson err->cr2 = addr; 5563563362dSRichard Henderson return false; 557b04dc92eSPaolo Bonzini } 558b04dc92eSPaolo Bonzini } 5593563362dSRichard Henderson return mmu_translate(env, &in, out, err); 560e7f2670fSClaudio Fontana } 56198281984SRichard Henderson break; 56298281984SRichard Henderson } 56398281984SRichard Henderson 56498281984SRichard Henderson /* Translation disabled. */ 56598281984SRichard Henderson out->paddr = addr & x86_get_a20_mask(env); 56698281984SRichard Henderson #ifdef TARGET_X86_64 56798281984SRichard Henderson if (!(env->hflags & HF_LMA_MASK)) { 56898281984SRichard Henderson /* Without long mode we can only address 32bits in real mode */ 56998281984SRichard Henderson out->paddr = (uint32_t)out->paddr; 57098281984SRichard Henderson } 57198281984SRichard Henderson #endif 57298281984SRichard Henderson out->prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC; 57398281984SRichard Henderson out->page_size = TARGET_PAGE_SIZE; 57498281984SRichard Henderson return true; 575661ff487SPaolo Bonzini } 576e7f2670fSClaudio Fontana 577e7f2670fSClaudio Fontana bool x86_cpu_tlb_fill(CPUState *cs, vaddr addr, int size, 578e7f2670fSClaudio Fontana MMUAccessType access_type, int mmu_idx, 579e7f2670fSClaudio Fontana bool probe, uintptr_t retaddr) 580e7f2670fSClaudio Fontana { 5813563362dSRichard Henderson CPUX86State *env = cs->env_ptr; 5823563362dSRichard Henderson TranslateResult out; 5833563362dSRichard Henderson TranslateFault err; 584e7f2670fSClaudio Fontana 5853563362dSRichard Henderson if (get_physical_address(env, addr, access_type, mmu_idx, &out, &err)) { 5863563362dSRichard Henderson /* 5873563362dSRichard Henderson * Even if 4MB pages, we map only one 4KB page in the cache to 5883563362dSRichard Henderson * avoid filling it too fast. 5893563362dSRichard Henderson */ 5903563362dSRichard Henderson assert(out.prot & (1 << access_type)); 5913563362dSRichard Henderson tlb_set_page_with_attrs(cs, addr & TARGET_PAGE_MASK, 5923563362dSRichard Henderson out.paddr & TARGET_PAGE_MASK, 5933563362dSRichard Henderson cpu_get_mem_attrs(env), 5943563362dSRichard Henderson out.prot, mmu_idx, out.page_size); 5953563362dSRichard Henderson return true; 5963563362dSRichard Henderson } 5973563362dSRichard Henderson 5989bbcf372SRichard Henderson if (probe) { 599*4a1e9d4dSRichard Henderson /* This will be used if recursing for stage2 translation. */ 600*4a1e9d4dSRichard Henderson env->error_code = err.error_code; 6019bbcf372SRichard Henderson return false; 6029bbcf372SRichard Henderson } 6039bbcf372SRichard Henderson 6049bbcf372SRichard Henderson if (err.stage2 != S2_NONE) { 6059bbcf372SRichard Henderson raise_stage2(env, &err, retaddr); 6069bbcf372SRichard Henderson } 6073563362dSRichard Henderson 6083563362dSRichard Henderson if (env->intercept_exceptions & (1 << err.exception_index)) { 6093563362dSRichard Henderson /* cr2 is not modified in case of exceptions */ 6103563362dSRichard Henderson x86_stq_phys(cs, env->vm_vmcb + 6113563362dSRichard Henderson offsetof(struct vmcb, control.exit_info_2), 6123563362dSRichard Henderson err.cr2); 6133563362dSRichard Henderson } else { 6143563362dSRichard Henderson env->cr[2] = err.cr2; 615e7f2670fSClaudio Fontana } 6163563362dSRichard Henderson raise_exception_err_ra(env, err.exception_index, err.error_code, retaddr); 617e7f2670fSClaudio Fontana } 618958e1dd1SPaolo Bonzini 619958e1dd1SPaolo Bonzini G_NORETURN void x86_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr, 620958e1dd1SPaolo Bonzini MMUAccessType access_type, 621958e1dd1SPaolo Bonzini int mmu_idx, uintptr_t retaddr) 622958e1dd1SPaolo Bonzini { 623958e1dd1SPaolo Bonzini X86CPU *cpu = X86_CPU(cs); 624958e1dd1SPaolo Bonzini handle_unaligned_access(&cpu->env, vaddr, access_type, retaddr); 625958e1dd1SPaolo Bonzini } 626