xref: /openbmc/qemu/target/i386/tcg/sysemu/excp_helper.c (revision f7ff24a6e9259726db08e36cdc28645c0a3b1a70)
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"
2209b07f28SPhilippe Mathieu-Daudé #include "exec/cpu_ldst.h"
23b28b366dSPhilippe Mathieu-Daudé #include "exec/exec-all.h"
2474781c08SPhilippe Mathieu-Daudé #include "exec/page-protection.h"
25e7f2670fSClaudio Fontana #include "tcg/helper-tcg.h"
26e7f2670fSClaudio Fontana 
273563362dSRichard Henderson typedef struct TranslateParams {
283563362dSRichard Henderson     target_ulong addr;
293563362dSRichard Henderson     target_ulong cr3;
303563362dSRichard Henderson     int pg_mode;
313563362dSRichard Henderson     int mmu_idx;
324a1e9d4dSRichard Henderson     int ptw_idx;
333563362dSRichard Henderson     MMUAccessType access_type;
343563362dSRichard Henderson } TranslateParams;
353563362dSRichard Henderson 
363563362dSRichard Henderson typedef struct TranslateResult {
373563362dSRichard Henderson     hwaddr paddr;
383563362dSRichard Henderson     int prot;
393563362dSRichard Henderson     int page_size;
403563362dSRichard Henderson } TranslateResult;
413563362dSRichard Henderson 
429bbcf372SRichard Henderson typedef enum TranslateFaultStage2 {
439bbcf372SRichard Henderson     S2_NONE,
449bbcf372SRichard Henderson     S2_GPA,
459bbcf372SRichard Henderson     S2_GPT,
469bbcf372SRichard Henderson } TranslateFaultStage2;
479bbcf372SRichard Henderson 
483563362dSRichard Henderson typedef struct TranslateFault {
493563362dSRichard Henderson     int exception_index;
503563362dSRichard Henderson     int error_code;
513563362dSRichard Henderson     target_ulong cr2;
529bbcf372SRichard Henderson     TranslateFaultStage2 stage2;
533563362dSRichard Henderson } TranslateFault;
54661ff487SPaolo Bonzini 
554a1e9d4dSRichard Henderson typedef struct PTETranslate {
564a1e9d4dSRichard Henderson     CPUX86State *env;
574a1e9d4dSRichard Henderson     TranslateFault *err;
584a1e9d4dSRichard Henderson     int ptw_idx;
594a1e9d4dSRichard Henderson     void *haddr;
604a1e9d4dSRichard Henderson     hwaddr gaddr;
614a1e9d4dSRichard Henderson } PTETranslate;
624a1e9d4dSRichard Henderson 
639dab7bbbSGregory Price static bool ptw_translate(PTETranslate *inout, hwaddr addr, uint64_t ra)
644a1e9d4dSRichard Henderson {
654a1e9d4dSRichard Henderson     int flags;
664a1e9d4dSRichard Henderson 
674a1e9d4dSRichard Henderson     inout->gaddr = addr;
683a41aa82SRichard Henderson     flags = probe_access_full_mmu(inout->env, addr, 0, MMU_DATA_STORE,
693a41aa82SRichard Henderson                                   inout->ptw_idx, &inout->haddr, NULL);
704a1e9d4dSRichard Henderson 
714a1e9d4dSRichard Henderson     if (unlikely(flags & TLB_INVALID_MASK)) {
724a1e9d4dSRichard Henderson         TranslateFault *err = inout->err;
734a1e9d4dSRichard Henderson 
744a1e9d4dSRichard Henderson         assert(inout->ptw_idx == MMU_NESTED_IDX);
758218c048SRichard Henderson         *err = (TranslateFault){
768218c048SRichard Henderson             .error_code = inout->env->error_code,
778218c048SRichard Henderson             .cr2 = addr,
788218c048SRichard Henderson             .stage2 = S2_GPT,
798218c048SRichard Henderson         };
804a1e9d4dSRichard Henderson         return false;
814a1e9d4dSRichard Henderson     }
824a1e9d4dSRichard Henderson     return true;
834a1e9d4dSRichard Henderson }
844a1e9d4dSRichard Henderson 
859dab7bbbSGregory Price static inline uint32_t ptw_ldl(const PTETranslate *in, uint64_t ra)
864a1e9d4dSRichard Henderson {
874a1e9d4dSRichard Henderson     if (likely(in->haddr)) {
884a1e9d4dSRichard Henderson         return ldl_p(in->haddr);
894a1e9d4dSRichard Henderson     }
909dab7bbbSGregory Price     return cpu_ldl_mmuidx_ra(in->env, in->gaddr, in->ptw_idx, ra);
914a1e9d4dSRichard Henderson }
924a1e9d4dSRichard Henderson 
939dab7bbbSGregory Price static inline uint64_t ptw_ldq(const PTETranslate *in, uint64_t ra)
944a1e9d4dSRichard Henderson {
954a1e9d4dSRichard Henderson     if (likely(in->haddr)) {
964a1e9d4dSRichard Henderson         return ldq_p(in->haddr);
974a1e9d4dSRichard Henderson     }
989dab7bbbSGregory Price     return cpu_ldq_mmuidx_ra(in->env, in->gaddr, in->ptw_idx, ra);
994a1e9d4dSRichard Henderson }
1004a1e9d4dSRichard Henderson 
1014a1e9d4dSRichard Henderson /*
1024a1e9d4dSRichard Henderson  * Note that we can use a 32-bit cmpxchg for all page table entries,
1034a1e9d4dSRichard Henderson  * even 64-bit ones, because PG_PRESENT_MASK, PG_ACCESSED_MASK and
1044a1e9d4dSRichard Henderson  * PG_DIRTY_MASK are all in the low 32 bits.
1054a1e9d4dSRichard Henderson  */
1064a1e9d4dSRichard Henderson static bool ptw_setl_slow(const PTETranslate *in, uint32_t old, uint32_t new)
1074a1e9d4dSRichard Henderson {
1084a1e9d4dSRichard Henderson     uint32_t cmp;
1094a1e9d4dSRichard Henderson 
1104a1e9d4dSRichard Henderson     /* Does x86 really perform a rmw cycle on mmio for ptw? */
1114a1e9d4dSRichard Henderson     start_exclusive();
1124a1e9d4dSRichard Henderson     cmp = cpu_ldl_mmuidx_ra(in->env, in->gaddr, in->ptw_idx, 0);
1134a1e9d4dSRichard Henderson     if (cmp == old) {
1144a1e9d4dSRichard Henderson         cpu_stl_mmuidx_ra(in->env, in->gaddr, new, in->ptw_idx, 0);
1154a1e9d4dSRichard Henderson     }
1164a1e9d4dSRichard Henderson     end_exclusive();
1174a1e9d4dSRichard Henderson     return cmp == old;
1184a1e9d4dSRichard Henderson }
1194a1e9d4dSRichard Henderson 
1204a1e9d4dSRichard Henderson static inline bool ptw_setl(const PTETranslate *in, uint32_t old, uint32_t set)
1214a1e9d4dSRichard Henderson {
1224a1e9d4dSRichard Henderson     if (set & ~old) {
1234a1e9d4dSRichard Henderson         uint32_t new = old | set;
1244a1e9d4dSRichard Henderson         if (likely(in->haddr)) {
1254a1e9d4dSRichard Henderson             old = cpu_to_le32(old);
1264a1e9d4dSRichard Henderson             new = cpu_to_le32(new);
1274a1e9d4dSRichard Henderson             return qatomic_cmpxchg((uint32_t *)in->haddr, old, new) == old;
1284a1e9d4dSRichard Henderson         }
1294a1e9d4dSRichard Henderson         return ptw_setl_slow(in, old, new);
1304a1e9d4dSRichard Henderson     }
1314a1e9d4dSRichard Henderson     return true;
1324a1e9d4dSRichard Henderson }
13333ce155cSPaolo Bonzini 
1343563362dSRichard Henderson static bool mmu_translate(CPUX86State *env, const TranslateParams *in,
1359dab7bbbSGregory Price                           TranslateResult *out, TranslateFault *err,
1369dab7bbbSGregory Price                           uint64_t ra)
137e7f2670fSClaudio Fontana {
1383563362dSRichard Henderson     const target_ulong addr = in->addr;
1393563362dSRichard Henderson     const int pg_mode = in->pg_mode;
1405f97afe2SPaolo Bonzini     const bool is_user = is_mmu_index_user(in->mmu_idx);
1413563362dSRichard Henderson     const MMUAccessType access_type = in->access_type;
1424a1e9d4dSRichard Henderson     uint64_t ptep, pte, rsvd_mask;
1434a1e9d4dSRichard Henderson     PTETranslate pte_trans = {
1444a1e9d4dSRichard Henderson         .env = env,
1454a1e9d4dSRichard Henderson         .err = err,
1464a1e9d4dSRichard Henderson         .ptw_idx = in->ptw_idx,
1474a1e9d4dSRichard Henderson     };
1488629e77bSRichard Henderson     hwaddr pte_addr, paddr;
149e7f2670fSClaudio Fontana     uint32_t pkr;
1503563362dSRichard Henderson     int page_size;
151987b63f2SPeter Maydell     int error_code;
15201bfc2e2SAlexander Graf     int prot;
153e7f2670fSClaudio Fontana 
1544a1e9d4dSRichard Henderson  restart_all:
1554a1e9d4dSRichard Henderson     rsvd_mask = ~MAKE_64BIT_MASK(0, env_archcpu(env)->phys_bits);
1564a1e9d4dSRichard Henderson     rsvd_mask &= PG_ADDRESS_MASK;
15731dd35ebSPaolo Bonzini     if (!(pg_mode & PG_MODE_NXE)) {
158e7f2670fSClaudio Fontana         rsvd_mask |= PG_NX_MASK;
159e7f2670fSClaudio Fontana     }
160e7f2670fSClaudio Fontana 
16131dd35ebSPaolo Bonzini     if (pg_mode & PG_MODE_PAE) {
162e7f2670fSClaudio Fontana #ifdef TARGET_X86_64
16393eae358SPaolo Bonzini         if (pg_mode & PG_MODE_LMA) {
16411b4e971SRichard Henderson             if (pg_mode & PG_MODE_LA57) {
16511b4e971SRichard Henderson                 /*
16611b4e971SRichard Henderson                  * Page table level 5
16711b4e971SRichard Henderson                  */
168a28fe7dcSPaolo Bonzini                 pte_addr = (in->cr3 & ~0xfff) + (((addr >> 48) & 0x1ff) << 3);
1699dab7bbbSGregory Price                 if (!ptw_translate(&pte_trans, pte_addr, ra)) {
1704a1e9d4dSRichard Henderson                     return false;
1714a1e9d4dSRichard Henderson                 }
1724a1e9d4dSRichard Henderson             restart_5:
1739dab7bbbSGregory Price                 pte = ptw_ldq(&pte_trans, ra);
17411b4e971SRichard Henderson                 if (!(pte & PG_PRESENT_MASK)) {
175e7f2670fSClaudio Fontana                     goto do_fault;
176e7f2670fSClaudio Fontana                 }
17711b4e971SRichard Henderson                 if (pte & (rsvd_mask | PG_PSE_MASK)) {
178e7f2670fSClaudio Fontana                     goto do_fault_rsvd;
179e7f2670fSClaudio Fontana                 }
1804a1e9d4dSRichard Henderson                 if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) {
1814a1e9d4dSRichard Henderson                     goto restart_5;
182e7f2670fSClaudio Fontana                 }
18311b4e971SRichard Henderson                 ptep = pte ^ PG_NX_MASK;
184e7f2670fSClaudio Fontana             } else {
18511b4e971SRichard Henderson                 pte = in->cr3;
186e7f2670fSClaudio Fontana                 ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;
187e7f2670fSClaudio Fontana             }
188e7f2670fSClaudio Fontana 
18911b4e971SRichard Henderson             /*
19011b4e971SRichard Henderson              * Page table level 4
19111b4e971SRichard Henderson              */
192a28fe7dcSPaolo Bonzini             pte_addr = (pte & PG_ADDRESS_MASK) + (((addr >> 39) & 0x1ff) << 3);
1939dab7bbbSGregory Price             if (!ptw_translate(&pte_trans, pte_addr, ra)) {
1944a1e9d4dSRichard Henderson                 return false;
1954a1e9d4dSRichard Henderson             }
1964a1e9d4dSRichard Henderson         restart_4:
1979dab7bbbSGregory Price             pte = ptw_ldq(&pte_trans, ra);
19811b4e971SRichard Henderson             if (!(pte & PG_PRESENT_MASK)) {
199e7f2670fSClaudio Fontana                 goto do_fault;
200e7f2670fSClaudio Fontana             }
20111b4e971SRichard Henderson             if (pte & (rsvd_mask | PG_PSE_MASK)) {
202e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
203e7f2670fSClaudio Fontana             }
2044a1e9d4dSRichard Henderson             if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) {
2054a1e9d4dSRichard Henderson                 goto restart_4;
206e7f2670fSClaudio Fontana             }
20711b4e971SRichard Henderson             ptep &= pte ^ PG_NX_MASK;
20811b4e971SRichard Henderson 
20911b4e971SRichard Henderson             /*
21011b4e971SRichard Henderson              * Page table level 3
21111b4e971SRichard Henderson              */
212a28fe7dcSPaolo Bonzini             pte_addr = (pte & PG_ADDRESS_MASK) + (((addr >> 30) & 0x1ff) << 3);
2139dab7bbbSGregory Price             if (!ptw_translate(&pte_trans, pte_addr, ra)) {
2144a1e9d4dSRichard Henderson                 return false;
2154a1e9d4dSRichard Henderson             }
2164a1e9d4dSRichard Henderson         restart_3_lma:
2179dab7bbbSGregory Price             pte = ptw_ldq(&pte_trans, ra);
21811b4e971SRichard Henderson             if (!(pte & PG_PRESENT_MASK)) {
219e7f2670fSClaudio Fontana                 goto do_fault;
220e7f2670fSClaudio Fontana             }
22111b4e971SRichard Henderson             if (pte & rsvd_mask) {
222e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
223e7f2670fSClaudio Fontana             }
2244a1e9d4dSRichard Henderson             if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) {
2254a1e9d4dSRichard Henderson                 goto restart_3_lma;
226e7f2670fSClaudio Fontana             }
2274a1e9d4dSRichard Henderson             ptep &= pte ^ PG_NX_MASK;
22811b4e971SRichard Henderson             if (pte & PG_PSE_MASK) {
229e7f2670fSClaudio Fontana                 /* 1 GB page */
2303563362dSRichard Henderson                 page_size = 1024 * 1024 * 1024;
231e7f2670fSClaudio Fontana                 goto do_check_protect;
232e7f2670fSClaudio Fontana             }
233e7f2670fSClaudio Fontana         } else
234e7f2670fSClaudio Fontana #endif
235e7f2670fSClaudio Fontana         {
23611b4e971SRichard Henderson             /*
23711b4e971SRichard Henderson              * Page table level 3
23811b4e971SRichard Henderson              */
239a28fe7dcSPaolo Bonzini             pte_addr = (in->cr3 & 0xffffffe0ULL) + ((addr >> 27) & 0x18);
2409dab7bbbSGregory Price             if (!ptw_translate(&pte_trans, pte_addr, ra)) {
2414a1e9d4dSRichard Henderson                 return false;
2424a1e9d4dSRichard Henderson             }
2434a1e9d4dSRichard Henderson             rsvd_mask |= PG_HI_USER_MASK;
2444a1e9d4dSRichard Henderson         restart_3_nolma:
2459dab7bbbSGregory Price             pte = ptw_ldq(&pte_trans, ra);
24611b4e971SRichard Henderson             if (!(pte & PG_PRESENT_MASK)) {
247e7f2670fSClaudio Fontana                 goto do_fault;
248e7f2670fSClaudio Fontana             }
24911b4e971SRichard Henderson             if (pte & (rsvd_mask | PG_NX_MASK)) {
250e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
251e7f2670fSClaudio Fontana             }
2524a1e9d4dSRichard Henderson             if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) {
2534a1e9d4dSRichard Henderson                 goto restart_3_nolma;
2544a1e9d4dSRichard Henderson             }
255e7f2670fSClaudio Fontana             ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;
256e7f2670fSClaudio Fontana         }
257e7f2670fSClaudio Fontana 
25811b4e971SRichard Henderson         /*
25911b4e971SRichard Henderson          * Page table level 2
26011b4e971SRichard Henderson          */
261a28fe7dcSPaolo Bonzini         pte_addr = (pte & PG_ADDRESS_MASK) + (((addr >> 21) & 0x1ff) << 3);
2629dab7bbbSGregory Price         if (!ptw_translate(&pte_trans, pte_addr, ra)) {
2634a1e9d4dSRichard Henderson             return false;
2644a1e9d4dSRichard Henderson         }
2654a1e9d4dSRichard Henderson     restart_2_pae:
2669dab7bbbSGregory Price         pte = ptw_ldq(&pte_trans, ra);
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;
2764a1e9d4dSRichard Henderson             ptep &= pte ^ PG_NX_MASK;
277e7f2670fSClaudio Fontana             goto do_check_protect;
278e7f2670fSClaudio Fontana         }
2794a1e9d4dSRichard Henderson         if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) {
2804a1e9d4dSRichard Henderson             goto restart_2_pae;
281e7f2670fSClaudio Fontana         }
2824a1e9d4dSRichard Henderson         ptep &= pte ^ PG_NX_MASK;
28311b4e971SRichard Henderson 
28411b4e971SRichard Henderson         /*
28511b4e971SRichard Henderson          * Page table level 1
28611b4e971SRichard Henderson          */
287a28fe7dcSPaolo Bonzini         pte_addr = (pte & PG_ADDRESS_MASK) + (((addr >> 12) & 0x1ff) << 3);
2889dab7bbbSGregory Price         if (!ptw_translate(&pte_trans, pte_addr, ra)) {
2894a1e9d4dSRichard Henderson             return false;
2904a1e9d4dSRichard Henderson         }
2919dab7bbbSGregory Price         pte = ptw_ldq(&pte_trans, ra);
292e7f2670fSClaudio Fontana         if (!(pte & PG_PRESENT_MASK)) {
293e7f2670fSClaudio Fontana             goto do_fault;
294e7f2670fSClaudio Fontana         }
295e7f2670fSClaudio Fontana         if (pte & rsvd_mask) {
296e7f2670fSClaudio Fontana             goto do_fault_rsvd;
297e7f2670fSClaudio Fontana         }
298e7f2670fSClaudio Fontana         /* combine pde and pte nx, user and rw protections */
299e7f2670fSClaudio Fontana         ptep &= pte ^ PG_NX_MASK;
3003563362dSRichard Henderson         page_size = 4096;
301*f7ff24a6SAlexander Graf     } else if (pg_mode & PG_MODE_PG) {
30211b4e971SRichard Henderson         /*
30311b4e971SRichard Henderson          * Page table level 2
30411b4e971SRichard Henderson          */
305a28fe7dcSPaolo Bonzini         pte_addr = (in->cr3 & 0xfffff000ULL) + ((addr >> 20) & 0xffc);
3069dab7bbbSGregory Price         if (!ptw_translate(&pte_trans, pte_addr, ra)) {
3074a1e9d4dSRichard Henderson             return false;
3084a1e9d4dSRichard Henderson         }
3094a1e9d4dSRichard Henderson     restart_2_nopae:
3109dab7bbbSGregory Price         pte = ptw_ldl(&pte_trans, ra);
31111b4e971SRichard Henderson         if (!(pte & PG_PRESENT_MASK)) {
312e7f2670fSClaudio Fontana             goto do_fault;
313e7f2670fSClaudio Fontana         }
31411b4e971SRichard Henderson         ptep = pte | PG_NX_MASK;
315e7f2670fSClaudio Fontana 
316e7f2670fSClaudio Fontana         /* if PSE bit is set, then we use a 4MB page */
31711b4e971SRichard Henderson         if ((pte & PG_PSE_MASK) && (pg_mode & PG_MODE_PSE)) {
3183563362dSRichard Henderson             page_size = 4096 * 1024;
31911b4e971SRichard Henderson             /*
32011b4e971SRichard Henderson              * Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved.
321e7f2670fSClaudio Fontana              * Leave bits 20-13 in place for setting accessed/dirty bits below.
322e7f2670fSClaudio Fontana              */
32311b4e971SRichard Henderson             pte = (uint32_t)pte | ((pte & 0x1fe000LL) << (32 - 13));
324e7f2670fSClaudio Fontana             rsvd_mask = 0x200000;
325e7f2670fSClaudio Fontana             goto do_check_protect_pse36;
326e7f2670fSClaudio Fontana         }
3274a1e9d4dSRichard Henderson         if (!ptw_setl(&pte_trans, pte, PG_ACCESSED_MASK)) {
3284a1e9d4dSRichard Henderson             goto restart_2_nopae;
329e7f2670fSClaudio Fontana         }
330e7f2670fSClaudio Fontana 
33111b4e971SRichard Henderson         /*
33211b4e971SRichard Henderson          * Page table level 1
33311b4e971SRichard Henderson          */
334a28fe7dcSPaolo Bonzini         pte_addr = (pte & ~0xfffu) + ((addr >> 10) & 0xffc);
3359dab7bbbSGregory Price         if (!ptw_translate(&pte_trans, pte_addr, ra)) {
3364a1e9d4dSRichard Henderson             return false;
3374a1e9d4dSRichard Henderson         }
3389dab7bbbSGregory Price         pte = ptw_ldl(&pte_trans, ra);
339e7f2670fSClaudio Fontana         if (!(pte & PG_PRESENT_MASK)) {
340e7f2670fSClaudio Fontana             goto do_fault;
341e7f2670fSClaudio Fontana         }
342e7f2670fSClaudio Fontana         /* combine pde and pte user and rw protections */
343e7f2670fSClaudio Fontana         ptep &= pte | PG_NX_MASK;
3443563362dSRichard Henderson         page_size = 4096;
345e7f2670fSClaudio Fontana         rsvd_mask = 0;
34601bfc2e2SAlexander Graf     } else {
34701bfc2e2SAlexander Graf         /*
34801bfc2e2SAlexander Graf          * No paging (real mode), let's tentatively resolve the address as 1:1
34901bfc2e2SAlexander Graf          * here, but conditionally still perform an NPT walk on it later.
35001bfc2e2SAlexander Graf          */
35101bfc2e2SAlexander Graf         page_size = 0x40000000;
35201bfc2e2SAlexander Graf         paddr = in->addr;
35301bfc2e2SAlexander Graf         prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
35401bfc2e2SAlexander Graf         goto stage2;
355e7f2670fSClaudio Fontana     }
356e7f2670fSClaudio Fontana 
357e7f2670fSClaudio Fontana do_check_protect:
3583563362dSRichard Henderson     rsvd_mask |= (page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK;
359e7f2670fSClaudio Fontana do_check_protect_pse36:
360e7f2670fSClaudio Fontana     if (pte & rsvd_mask) {
361e7f2670fSClaudio Fontana         goto do_fault_rsvd;
362e7f2670fSClaudio Fontana     }
363e7f2670fSClaudio Fontana     ptep ^= PG_NX_MASK;
364e7f2670fSClaudio Fontana 
365e7f2670fSClaudio Fontana     /* can the page can be put in the TLB?  prot will tell us */
366e7f2670fSClaudio Fontana     if (is_user && !(ptep & PG_USER_MASK)) {
367e7f2670fSClaudio Fontana         goto do_fault_protect;
368e7f2670fSClaudio Fontana     }
369e7f2670fSClaudio Fontana 
37001bfc2e2SAlexander Graf     prot = 0;
3715f97afe2SPaolo Bonzini     if (!is_mmu_index_smap(in->mmu_idx) || !(ptep & PG_USER_MASK)) {
3723563362dSRichard Henderson         prot |= PAGE_READ;
37331dd35ebSPaolo Bonzini         if ((ptep & PG_RW_MASK) || !(is_user || (pg_mode & PG_MODE_WP))) {
3743563362dSRichard Henderson             prot |= PAGE_WRITE;
375e7f2670fSClaudio Fontana         }
376e7f2670fSClaudio Fontana     }
377e7f2670fSClaudio Fontana     if (!(ptep & PG_NX_MASK) &&
3783563362dSRichard Henderson         (is_user ||
37931dd35ebSPaolo Bonzini          !((pg_mode & PG_MODE_SMEP) && (ptep & PG_USER_MASK)))) {
3803563362dSRichard Henderson         prot |= PAGE_EXEC;
381e7f2670fSClaudio Fontana     }
382e7f2670fSClaudio Fontana 
383991ec976SPaolo Bonzini     if (ptep & PG_USER_MASK) {
38431dd35ebSPaolo Bonzini         pkr = pg_mode & PG_MODE_PKE ? env->pkru : 0;
385e7f2670fSClaudio Fontana     } else {
38631dd35ebSPaolo Bonzini         pkr = pg_mode & PG_MODE_PKS ? env->pkrs : 0;
387e7f2670fSClaudio Fontana     }
388e7f2670fSClaudio Fontana     if (pkr) {
389e7f2670fSClaudio Fontana         uint32_t pk = (pte & PG_PKRU_MASK) >> PG_PKRU_BIT;
390e7f2670fSClaudio Fontana         uint32_t pkr_ad = (pkr >> pk * 2) & 1;
391e7f2670fSClaudio Fontana         uint32_t pkr_wd = (pkr >> pk * 2) & 2;
392e7f2670fSClaudio Fontana         uint32_t pkr_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
393e7f2670fSClaudio Fontana 
394e7f2670fSClaudio Fontana         if (pkr_ad) {
395e7f2670fSClaudio Fontana             pkr_prot &= ~(PAGE_READ | PAGE_WRITE);
39631dd35ebSPaolo Bonzini         } else if (pkr_wd && (is_user || (pg_mode & PG_MODE_WP))) {
397e7f2670fSClaudio Fontana             pkr_prot &= ~PAGE_WRITE;
398e7f2670fSClaudio Fontana         }
399487d1133SRichard Henderson         if ((pkr_prot & (1 << access_type)) == 0) {
4003563362dSRichard Henderson             goto do_fault_pk_protect;
401e7f2670fSClaudio Fontana         }
4023563362dSRichard Henderson         prot &= pkr_prot;
403e7f2670fSClaudio Fontana     }
404e7f2670fSClaudio Fontana 
4053563362dSRichard Henderson     if ((prot & (1 << access_type)) == 0) {
406e7f2670fSClaudio Fontana         goto do_fault_protect;
407e7f2670fSClaudio Fontana     }
408e7f2670fSClaudio Fontana 
409e7f2670fSClaudio Fontana     /* yes, it can! */
4103563362dSRichard Henderson     {
4113563362dSRichard Henderson         uint32_t set = PG_ACCESSED_MASK;
4123563362dSRichard Henderson         if (access_type == MMU_DATA_STORE) {
4133563362dSRichard Henderson             set |= PG_DIRTY_MASK;
4144a1e9d4dSRichard Henderson         } else if (!(pte & PG_DIRTY_MASK)) {
4154a1e9d4dSRichard Henderson             /*
4164a1e9d4dSRichard Henderson              * Only set write access if already dirty...
4174a1e9d4dSRichard Henderson              * otherwise wait for dirty access.
4184a1e9d4dSRichard Henderson              */
4193563362dSRichard Henderson             prot &= ~PAGE_WRITE;
420e7f2670fSClaudio Fontana         }
4214a1e9d4dSRichard Henderson         if (!ptw_setl(&pte_trans, pte, set)) {
4224a1e9d4dSRichard Henderson             /*
4234a1e9d4dSRichard Henderson              * We can arrive here from any of 3 levels and 2 formats.
4244a1e9d4dSRichard Henderson              * The only safe thing is to restart the entire lookup.
4254a1e9d4dSRichard Henderson              */
4264a1e9d4dSRichard Henderson             goto restart_all;
4274a1e9d4dSRichard Henderson         }
4284a1e9d4dSRichard Henderson     }
429e7f2670fSClaudio Fontana 
430b5a9de32SPaolo Bonzini     /* merge offset within page */
431b5a9de32SPaolo Bonzini     paddr = (pte & PG_ADDRESS_MASK & ~(page_size - 1)) | (addr & (page_size - 1));
43201bfc2e2SAlexander Graf  stage2:
4339bbcf372SRichard Henderson 
434b5a9de32SPaolo Bonzini     /*
435b5a9de32SPaolo Bonzini      * Note that NPT is walked (for both paging structures and final guest
436b5a9de32SPaolo Bonzini      * addresses) using the address with the A20 bit set.
437b5a9de32SPaolo Bonzini      */
4384a1e9d4dSRichard Henderson     if (in->ptw_idx == MMU_NESTED_IDX) {
4398629e77bSRichard Henderson         CPUTLBEntryFull *full;
4408629e77bSRichard Henderson         int flags, nested_page_size;
4419bbcf372SRichard Henderson 
4423a41aa82SRichard Henderson         flags = probe_access_full_mmu(env, paddr, 0, access_type,
4433a41aa82SRichard Henderson                                       MMU_NESTED_IDX, &pte_trans.haddr, &full);
4448629e77bSRichard Henderson         if (unlikely(flags & TLB_INVALID_MASK)) {
4458218c048SRichard Henderson             *err = (TranslateFault){
4468218c048SRichard Henderson                 .error_code = env->error_code,
4478218c048SRichard Henderson                 .cr2 = paddr,
4488218c048SRichard Henderson                 .stage2 = S2_GPA,
4498218c048SRichard Henderson             };
4509bbcf372SRichard Henderson             return false;
4519bbcf372SRichard Henderson         }
4529bbcf372SRichard Henderson 
4539bbcf372SRichard Henderson         /* Merge stage1 & stage2 protection bits. */
4548629e77bSRichard Henderson         prot &= full->prot;
4559bbcf372SRichard Henderson 
4569bbcf372SRichard Henderson         /* Re-verify resulting protection. */
4579bbcf372SRichard Henderson         if ((prot & (1 << access_type)) == 0) {
4589bbcf372SRichard Henderson             goto do_fault_protect;
4599bbcf372SRichard Henderson         }
4608629e77bSRichard Henderson 
4618629e77bSRichard Henderson         /* Merge stage1 & stage2 addresses to final physical address. */
4628629e77bSRichard Henderson         nested_page_size = 1 << full->lg_page_size;
4638629e77bSRichard Henderson         paddr = (full->phys_addr & ~(nested_page_size - 1))
4648629e77bSRichard Henderson               | (paddr & (nested_page_size - 1));
4658629e77bSRichard Henderson 
4668629e77bSRichard Henderson         /*
4678629e77bSRichard Henderson          * Use the larger of stage1 & stage2 page sizes, so that
4688629e77bSRichard Henderson          * invalidation works.
4698629e77bSRichard Henderson          */
4708629e77bSRichard Henderson         if (nested_page_size > page_size) {
4718629e77bSRichard Henderson             page_size = nested_page_size;
4728629e77bSRichard Henderson         }
4739bbcf372SRichard Henderson     }
4749bbcf372SRichard Henderson 
475b5a9de32SPaolo Bonzini     out->paddr = paddr & x86_get_a20_mask(env);
4769bbcf372SRichard Henderson     out->prot = prot;
4779bbcf372SRichard Henderson     out->page_size = page_size;
4783563362dSRichard Henderson     return true;
479e7f2670fSClaudio Fontana 
480e7f2670fSClaudio Fontana  do_fault_rsvd:
4813563362dSRichard Henderson     error_code = PG_ERROR_RSVD_MASK;
4823563362dSRichard Henderson     goto do_fault_cont;
483e7f2670fSClaudio Fontana  do_fault_protect:
4843563362dSRichard Henderson     error_code = PG_ERROR_P_MASK;
4853563362dSRichard Henderson     goto do_fault_cont;
4863563362dSRichard Henderson  do_fault_pk_protect:
4873563362dSRichard Henderson     assert(access_type != MMU_INST_FETCH);
4883563362dSRichard Henderson     error_code = PG_ERROR_PK_MASK | PG_ERROR_P_MASK;
4893563362dSRichard Henderson     goto do_fault_cont;
490e7f2670fSClaudio Fontana  do_fault:
4913563362dSRichard Henderson     error_code = 0;
4923563362dSRichard Henderson  do_fault_cont:
4933563362dSRichard Henderson     if (is_user) {
494e7f2670fSClaudio Fontana         error_code |= PG_ERROR_U_MASK;
4953563362dSRichard Henderson     }
4963563362dSRichard Henderson     switch (access_type) {
4973563362dSRichard Henderson     case MMU_DATA_LOAD:
4983563362dSRichard Henderson         break;
4993563362dSRichard Henderson     case MMU_DATA_STORE:
5003563362dSRichard Henderson         error_code |= PG_ERROR_W_MASK;
5013563362dSRichard Henderson         break;
5023563362dSRichard Henderson     case MMU_INST_FETCH:
5033563362dSRichard Henderson         if (pg_mode & (PG_MODE_NXE | PG_MODE_SMEP)) {
504e7f2670fSClaudio Fontana             error_code |= PG_ERROR_I_D_MASK;
5053563362dSRichard Henderson         }
5063563362dSRichard Henderson         break;
5073563362dSRichard Henderson     }
5088218c048SRichard Henderson     *err = (TranslateFault){
5098218c048SRichard Henderson         .exception_index = EXCP0E_PAGE,
5108218c048SRichard Henderson         .error_code = error_code,
5118218c048SRichard Henderson         .cr2 = addr,
5128218c048SRichard Henderson     };
5133563362dSRichard Henderson     return false;
514661ff487SPaolo Bonzini }
515661ff487SPaolo Bonzini 
5169bbcf372SRichard Henderson static G_NORETURN void raise_stage2(CPUX86State *env, TranslateFault *err,
5179bbcf372SRichard Henderson                                     uintptr_t retaddr)
5189bbcf372SRichard Henderson {
5199bbcf372SRichard Henderson     uint64_t exit_info_1 = err->error_code;
5209bbcf372SRichard Henderson 
5219bbcf372SRichard Henderson     switch (err->stage2) {
5229bbcf372SRichard Henderson     case S2_GPT:
5239bbcf372SRichard Henderson         exit_info_1 |= SVM_NPTEXIT_GPT;
5249bbcf372SRichard Henderson         break;
5259bbcf372SRichard Henderson     case S2_GPA:
5269bbcf372SRichard Henderson         exit_info_1 |= SVM_NPTEXIT_GPA;
5279bbcf372SRichard Henderson         break;
5289bbcf372SRichard Henderson     default:
5299bbcf372SRichard Henderson         g_assert_not_reached();
5309bbcf372SRichard Henderson     }
5319bbcf372SRichard Henderson 
5329bbcf372SRichard Henderson     x86_stq_phys(env_cpu(env),
5339bbcf372SRichard Henderson                  env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2),
5349bbcf372SRichard Henderson                  err->cr2);
5359bbcf372SRichard Henderson     cpu_vmexit(env, SVM_EXIT_NPF, exit_info_1, retaddr);
5369bbcf372SRichard Henderson }
5379bbcf372SRichard Henderson 
5383563362dSRichard Henderson static bool get_physical_address(CPUX86State *env, vaddr addr,
5393563362dSRichard Henderson                                  MMUAccessType access_type, int mmu_idx,
5409dab7bbbSGregory Price                                  TranslateResult *out, TranslateFault *err,
5419dab7bbbSGregory Price                                  uint64_t ra)
542661ff487SPaolo Bonzini {
54398281984SRichard Henderson     TranslateParams in;
54498281984SRichard Henderson     bool use_stage2 = env->hflags2 & HF2_NPT_MASK;
5453563362dSRichard Henderson 
54698281984SRichard Henderson     in.addr = addr;
54798281984SRichard Henderson     in.access_type = access_type;
54898281984SRichard Henderson 
54998281984SRichard Henderson     switch (mmu_idx) {
55098281984SRichard Henderson     case MMU_PHYS_IDX:
55198281984SRichard Henderson         break;
55298281984SRichard Henderson 
55398281984SRichard Henderson     case MMU_NESTED_IDX:
55498281984SRichard Henderson         if (likely(use_stage2)) {
55598281984SRichard Henderson             in.cr3 = env->nested_cr3;
55698281984SRichard Henderson             in.pg_mode = env->nested_pg_mode;
55790f64153SPaolo Bonzini             in.mmu_idx =
55890f64153SPaolo Bonzini                 env->nested_pg_mode & PG_MODE_LMA ? MMU_USER64_IDX : MMU_USER32_IDX;
5594a1e9d4dSRichard Henderson             in.ptw_idx = MMU_PHYS_IDX;
56098281984SRichard Henderson 
5619dab7bbbSGregory Price             if (!mmu_translate(env, &in, out, err, ra)) {
56298281984SRichard Henderson                 err->stage2 = S2_GPA;
56398281984SRichard Henderson                 return false;
564661ff487SPaolo Bonzini             }
5653563362dSRichard Henderson             return true;
56698281984SRichard Henderson         }
56798281984SRichard Henderson         break;
568b04dc92eSPaolo Bonzini 
56998281984SRichard Henderson     default:
570b1661801SPaolo Bonzini         if (is_mmu_index_32(mmu_idx)) {
571b1661801SPaolo Bonzini             addr = (uint32_t)addr;
572b1661801SPaolo Bonzini         }
573b1661801SPaolo Bonzini 
57401bfc2e2SAlexander Graf         if (likely(env->cr[0] & CR0_PG_MASK || use_stage2)) {
57598281984SRichard Henderson             in.cr3 = env->cr[3];
57698281984SRichard Henderson             in.mmu_idx = mmu_idx;
5774a1e9d4dSRichard Henderson             in.ptw_idx = use_stage2 ? MMU_NESTED_IDX : MMU_PHYS_IDX;
57898281984SRichard Henderson             in.pg_mode = get_pg_mode(env);
57998281984SRichard Henderson 
5803563362dSRichard Henderson             if (in.pg_mode & PG_MODE_LMA) {
581b04dc92eSPaolo Bonzini                 /* test virtual address sign extension */
5823563362dSRichard Henderson                 int shift = in.pg_mode & PG_MODE_LA57 ? 56 : 47;
5833563362dSRichard Henderson                 int64_t sext = (int64_t)addr >> shift;
584b04dc92eSPaolo Bonzini                 if (sext != 0 && sext != -1) {
5858218c048SRichard Henderson                     *err = (TranslateFault){
5868218c048SRichard Henderson                         .exception_index = EXCP0D_GPF,
5878218c048SRichard Henderson                         .cr2 = addr,
5888218c048SRichard Henderson                     };
5893563362dSRichard Henderson                     return false;
590b04dc92eSPaolo Bonzini                 }
591b04dc92eSPaolo Bonzini             }
5929dab7bbbSGregory Price             return mmu_translate(env, &in, out, err, ra);
593e7f2670fSClaudio Fontana         }
59498281984SRichard Henderson         break;
59598281984SRichard Henderson     }
59698281984SRichard Henderson 
597b1661801SPaolo Bonzini     /* No translation needed. */
59898281984SRichard Henderson     out->paddr = addr & x86_get_a20_mask(env);
59998281984SRichard Henderson     out->prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
60098281984SRichard Henderson     out->page_size = TARGET_PAGE_SIZE;
60198281984SRichard Henderson     return true;
602661ff487SPaolo Bonzini }
603e7f2670fSClaudio Fontana 
604e7f2670fSClaudio Fontana bool x86_cpu_tlb_fill(CPUState *cs, vaddr addr, int size,
605e7f2670fSClaudio Fontana                       MMUAccessType access_type, int mmu_idx,
606e7f2670fSClaudio Fontana                       bool probe, uintptr_t retaddr)
607e7f2670fSClaudio Fontana {
608b77af26eSRichard Henderson     CPUX86State *env = cpu_env(cs);
6093563362dSRichard Henderson     TranslateResult out;
6103563362dSRichard Henderson     TranslateFault err;
611e7f2670fSClaudio Fontana 
6129dab7bbbSGregory Price     if (get_physical_address(env, addr, access_type, mmu_idx, &out, &err,
6139dab7bbbSGregory Price                              retaddr)) {
6143563362dSRichard Henderson         /*
6153563362dSRichard Henderson          * Even if 4MB pages, we map only one 4KB page in the cache to
6163563362dSRichard Henderson          * avoid filling it too fast.
6173563362dSRichard Henderson          */
6183563362dSRichard Henderson         assert(out.prot & (1 << access_type));
6193563362dSRichard Henderson         tlb_set_page_with_attrs(cs, addr & TARGET_PAGE_MASK,
6203563362dSRichard Henderson                                 out.paddr & TARGET_PAGE_MASK,
6213563362dSRichard Henderson                                 cpu_get_mem_attrs(env),
6223563362dSRichard Henderson                                 out.prot, mmu_idx, out.page_size);
6233563362dSRichard Henderson         return true;
6243563362dSRichard Henderson     }
6253563362dSRichard Henderson 
6269bbcf372SRichard Henderson     if (probe) {
6274a1e9d4dSRichard Henderson         /* This will be used if recursing for stage2 translation. */
6284a1e9d4dSRichard Henderson         env->error_code = err.error_code;
6299bbcf372SRichard Henderson         return false;
6309bbcf372SRichard Henderson     }
6319bbcf372SRichard Henderson 
6329bbcf372SRichard Henderson     if (err.stage2 != S2_NONE) {
6339bbcf372SRichard Henderson         raise_stage2(env, &err, retaddr);
6349bbcf372SRichard Henderson     }
6353563362dSRichard Henderson 
6363563362dSRichard Henderson     if (env->intercept_exceptions & (1 << err.exception_index)) {
6373563362dSRichard Henderson         /* cr2 is not modified in case of exceptions */
6383563362dSRichard Henderson         x86_stq_phys(cs, env->vm_vmcb +
6393563362dSRichard Henderson                      offsetof(struct vmcb, control.exit_info_2),
6403563362dSRichard Henderson                      err.cr2);
6413563362dSRichard Henderson     } else {
6423563362dSRichard Henderson         env->cr[2] = err.cr2;
643e7f2670fSClaudio Fontana     }
6443563362dSRichard Henderson     raise_exception_err_ra(env, err.exception_index, err.error_code, retaddr);
645e7f2670fSClaudio Fontana }
646958e1dd1SPaolo Bonzini 
647958e1dd1SPaolo Bonzini G_NORETURN void x86_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr,
648958e1dd1SPaolo Bonzini                                             MMUAccessType access_type,
649958e1dd1SPaolo Bonzini                                             int mmu_idx, uintptr_t retaddr)
650958e1dd1SPaolo Bonzini {
651958e1dd1SPaolo Bonzini     X86CPU *cpu = X86_CPU(cs);
652958e1dd1SPaolo Bonzini     handle_unaligned_access(&cpu->env, vaddr, access_type, retaddr);
653958e1dd1SPaolo Bonzini }
654