xref: /openbmc/qemu/target/i386/tcg/sysemu/excp_helper.c (revision 4a1e9d4d11cd5c0f05f7f04467088ff09fcdafac)
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