xref: /openbmc/qemu/target/i386/tcg/sysemu/excp_helper.c (revision 98281984a373a68a3c497dfb88e42195f3a1cc93)
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;
303563362dSRichard Henderson     MMUAccessType access_type;
313563362dSRichard Henderson     bool use_stage2;
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 
539bbcf372SRichard Henderson #define PTE_HPHYS(ADDR)                                         \
549bbcf372SRichard Henderson     do {                                                        \
559bbcf372SRichard Henderson         if (in->use_stage2) {                                   \
569bbcf372SRichard Henderson             nested_in.addr = (ADDR);                            \
579bbcf372SRichard Henderson             if (!mmu_translate(env, &nested_in, out, err)) {    \
589bbcf372SRichard Henderson                 err->stage2 = S2_GPT;                           \
599bbcf372SRichard Henderson                 return false;                                   \
609bbcf372SRichard Henderson             }                                                   \
619bbcf372SRichard Henderson             (ADDR) = out->paddr;                                \
629bbcf372SRichard Henderson         }                                                       \
639bbcf372SRichard Henderson     } while (0)
6433ce155cSPaolo Bonzini 
653563362dSRichard Henderson static bool mmu_translate(CPUX86State *env, const TranslateParams *in,
663563362dSRichard Henderson                           TranslateResult *out, TranslateFault *err)
67e7f2670fSClaudio Fontana {
689bbcf372SRichard Henderson     TranslateParams nested_in = {
699bbcf372SRichard Henderson         /* Use store for page table entries, to allow A/D flag updates. */
709bbcf372SRichard Henderson         .access_type = MMU_DATA_STORE,
719bbcf372SRichard Henderson         .cr3 = env->nested_cr3,
729bbcf372SRichard Henderson         .pg_mode = env->nested_pg_mode,
739bbcf372SRichard Henderson         .mmu_idx = MMU_USER_IDX,
749bbcf372SRichard Henderson         .use_stage2 = false,
759bbcf372SRichard Henderson     };
769bbcf372SRichard Henderson 
773563362dSRichard Henderson     CPUState *cs = env_cpu(env);
783563362dSRichard Henderson     X86CPU *cpu = env_archcpu(env);
793563362dSRichard Henderson     const int32_t a20_mask = x86_get_a20_mask(env);
803563362dSRichard Henderson     const target_ulong addr = in->addr;
813563362dSRichard Henderson     const int pg_mode = in->pg_mode;
823563362dSRichard Henderson     const bool is_user = (in->mmu_idx == MMU_USER_IDX);
833563362dSRichard Henderson     const MMUAccessType access_type = in->access_type;
84e7f2670fSClaudio Fontana     uint64_t ptep, pte;
853563362dSRichard Henderson     hwaddr pde_addr, pte_addr;
86e7f2670fSClaudio Fontana     uint64_t rsvd_mask = PG_ADDRESS_MASK & ~MAKE_64BIT_MASK(0, cpu->phys_bits);
87e7f2670fSClaudio Fontana     uint32_t pkr;
883563362dSRichard Henderson     int page_size;
89e7f2670fSClaudio Fontana 
9031dd35ebSPaolo Bonzini     if (!(pg_mode & PG_MODE_NXE)) {
91e7f2670fSClaudio Fontana         rsvd_mask |= PG_NX_MASK;
92e7f2670fSClaudio Fontana     }
93e7f2670fSClaudio Fontana 
9431dd35ebSPaolo Bonzini     if (pg_mode & PG_MODE_PAE) {
95e7f2670fSClaudio Fontana         uint64_t pde, pdpe;
96e7f2670fSClaudio Fontana         target_ulong pdpe_addr;
97e7f2670fSClaudio Fontana 
98e7f2670fSClaudio Fontana #ifdef TARGET_X86_64
9993eae358SPaolo Bonzini         if (pg_mode & PG_MODE_LMA) {
10031dd35ebSPaolo Bonzini             bool la57 = pg_mode & PG_MODE_LA57;
101e7f2670fSClaudio Fontana             uint64_t pml5e_addr, pml5e;
102e7f2670fSClaudio Fontana             uint64_t pml4e_addr, pml4e;
103e7f2670fSClaudio Fontana 
104e7f2670fSClaudio Fontana             if (la57) {
1053563362dSRichard Henderson                 pml5e_addr = ((in->cr3 & ~0xfff) +
106e7f2670fSClaudio Fontana                         (((addr >> 48) & 0x1ff) << 3)) & a20_mask;
1079bbcf372SRichard Henderson                 PTE_HPHYS(pml5e_addr);
108e7f2670fSClaudio Fontana                 pml5e = x86_ldq_phys(cs, pml5e_addr);
109e7f2670fSClaudio Fontana                 if (!(pml5e & PG_PRESENT_MASK)) {
110e7f2670fSClaudio Fontana                     goto do_fault;
111e7f2670fSClaudio Fontana                 }
112e7f2670fSClaudio Fontana                 if (pml5e & (rsvd_mask | PG_PSE_MASK)) {
113e7f2670fSClaudio Fontana                     goto do_fault_rsvd;
114e7f2670fSClaudio Fontana                 }
115e7f2670fSClaudio Fontana                 if (!(pml5e & PG_ACCESSED_MASK)) {
116e7f2670fSClaudio Fontana                     pml5e |= PG_ACCESSED_MASK;
117e7f2670fSClaudio Fontana                     x86_stl_phys_notdirty(cs, pml5e_addr, pml5e);
118e7f2670fSClaudio Fontana                 }
119e7f2670fSClaudio Fontana                 ptep = pml5e ^ PG_NX_MASK;
120e7f2670fSClaudio Fontana             } else {
1213563362dSRichard Henderson                 pml5e = in->cr3;
122e7f2670fSClaudio Fontana                 ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;
123e7f2670fSClaudio Fontana             }
124e7f2670fSClaudio Fontana 
125e7f2670fSClaudio Fontana             pml4e_addr = ((pml5e & PG_ADDRESS_MASK) +
126e7f2670fSClaudio Fontana                     (((addr >> 39) & 0x1ff) << 3)) & a20_mask;
1279bbcf372SRichard Henderson             PTE_HPHYS(pml4e_addr);
128e7f2670fSClaudio Fontana             pml4e = x86_ldq_phys(cs, pml4e_addr);
129e7f2670fSClaudio Fontana             if (!(pml4e & PG_PRESENT_MASK)) {
130e7f2670fSClaudio Fontana                 goto do_fault;
131e7f2670fSClaudio Fontana             }
132e7f2670fSClaudio Fontana             if (pml4e & (rsvd_mask | PG_PSE_MASK)) {
133e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
134e7f2670fSClaudio Fontana             }
135e7f2670fSClaudio Fontana             if (!(pml4e & PG_ACCESSED_MASK)) {
136e7f2670fSClaudio Fontana                 pml4e |= PG_ACCESSED_MASK;
137e7f2670fSClaudio Fontana                 x86_stl_phys_notdirty(cs, pml4e_addr, pml4e);
138e7f2670fSClaudio Fontana             }
139e7f2670fSClaudio Fontana             ptep &= pml4e ^ PG_NX_MASK;
140e7f2670fSClaudio Fontana             pdpe_addr = ((pml4e & PG_ADDRESS_MASK) + (((addr >> 30) & 0x1ff) << 3)) &
141e7f2670fSClaudio Fontana                 a20_mask;
1429bbcf372SRichard Henderson             PTE_HPHYS(pdpe_addr);
143e7f2670fSClaudio Fontana             pdpe = x86_ldq_phys(cs, pdpe_addr);
144e7f2670fSClaudio Fontana             if (!(pdpe & PG_PRESENT_MASK)) {
145e7f2670fSClaudio Fontana                 goto do_fault;
146e7f2670fSClaudio Fontana             }
147e7f2670fSClaudio Fontana             if (pdpe & rsvd_mask) {
148e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
149e7f2670fSClaudio Fontana             }
150e7f2670fSClaudio Fontana             ptep &= pdpe ^ PG_NX_MASK;
151e7f2670fSClaudio Fontana             if (!(pdpe & PG_ACCESSED_MASK)) {
152e7f2670fSClaudio Fontana                 pdpe |= PG_ACCESSED_MASK;
153e7f2670fSClaudio Fontana                 x86_stl_phys_notdirty(cs, pdpe_addr, pdpe);
154e7f2670fSClaudio Fontana             }
155e7f2670fSClaudio Fontana             if (pdpe & PG_PSE_MASK) {
156e7f2670fSClaudio Fontana                 /* 1 GB page */
1573563362dSRichard Henderson                 page_size = 1024 * 1024 * 1024;
158e7f2670fSClaudio Fontana                 pte_addr = pdpe_addr;
159e7f2670fSClaudio Fontana                 pte = pdpe;
160e7f2670fSClaudio Fontana                 goto do_check_protect;
161e7f2670fSClaudio Fontana             }
162e7f2670fSClaudio Fontana         } else
163e7f2670fSClaudio Fontana #endif
164e7f2670fSClaudio Fontana         {
165e7f2670fSClaudio Fontana             /* XXX: load them when cr3 is loaded ? */
1663563362dSRichard Henderson             pdpe_addr = ((in->cr3 & ~0x1f) + ((addr >> 27) & 0x18)) &
167e7f2670fSClaudio Fontana                 a20_mask;
1689bbcf372SRichard Henderson             PTE_HPHYS(pdpe_addr);
169e7f2670fSClaudio Fontana             pdpe = x86_ldq_phys(cs, pdpe_addr);
170e7f2670fSClaudio Fontana             if (!(pdpe & PG_PRESENT_MASK)) {
171e7f2670fSClaudio Fontana                 goto do_fault;
172e7f2670fSClaudio Fontana             }
173e7f2670fSClaudio Fontana             rsvd_mask |= PG_HI_USER_MASK;
174e7f2670fSClaudio Fontana             if (pdpe & (rsvd_mask | PG_NX_MASK)) {
175e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
176e7f2670fSClaudio Fontana             }
177e7f2670fSClaudio Fontana             ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;
178e7f2670fSClaudio Fontana         }
179e7f2670fSClaudio Fontana 
180e7f2670fSClaudio Fontana         pde_addr = ((pdpe & PG_ADDRESS_MASK) + (((addr >> 21) & 0x1ff) << 3)) &
181e7f2670fSClaudio Fontana             a20_mask;
1829bbcf372SRichard Henderson         PTE_HPHYS(pde_addr);
183e7f2670fSClaudio Fontana         pde = x86_ldq_phys(cs, pde_addr);
184e7f2670fSClaudio Fontana         if (!(pde & PG_PRESENT_MASK)) {
185e7f2670fSClaudio Fontana             goto do_fault;
186e7f2670fSClaudio Fontana         }
187e7f2670fSClaudio Fontana         if (pde & rsvd_mask) {
188e7f2670fSClaudio Fontana             goto do_fault_rsvd;
189e7f2670fSClaudio Fontana         }
190e7f2670fSClaudio Fontana         ptep &= pde ^ PG_NX_MASK;
191e7f2670fSClaudio Fontana         if (pde & PG_PSE_MASK) {
192e7f2670fSClaudio Fontana             /* 2 MB page */
1933563362dSRichard Henderson             page_size = 2048 * 1024;
194e7f2670fSClaudio Fontana             pte_addr = pde_addr;
195e7f2670fSClaudio Fontana             pte = pde;
196e7f2670fSClaudio Fontana             goto do_check_protect;
197e7f2670fSClaudio Fontana         }
198e7f2670fSClaudio Fontana         /* 4 KB page */
199e7f2670fSClaudio Fontana         if (!(pde & PG_ACCESSED_MASK)) {
200e7f2670fSClaudio Fontana             pde |= PG_ACCESSED_MASK;
201e7f2670fSClaudio Fontana             x86_stl_phys_notdirty(cs, pde_addr, pde);
202e7f2670fSClaudio Fontana         }
203e7f2670fSClaudio Fontana         pte_addr = ((pde & PG_ADDRESS_MASK) + (((addr >> 12) & 0x1ff) << 3)) &
204e7f2670fSClaudio Fontana             a20_mask;
2059bbcf372SRichard Henderson         PTE_HPHYS(pte_addr);
206e7f2670fSClaudio Fontana         pte = x86_ldq_phys(cs, pte_addr);
207e7f2670fSClaudio Fontana         if (!(pte & PG_PRESENT_MASK)) {
208e7f2670fSClaudio Fontana             goto do_fault;
209e7f2670fSClaudio Fontana         }
210e7f2670fSClaudio Fontana         if (pte & rsvd_mask) {
211e7f2670fSClaudio Fontana             goto do_fault_rsvd;
212e7f2670fSClaudio Fontana         }
213e7f2670fSClaudio Fontana         /* combine pde and pte nx, user and rw protections */
214e7f2670fSClaudio Fontana         ptep &= pte ^ PG_NX_MASK;
2153563362dSRichard Henderson         page_size = 4096;
216e7f2670fSClaudio Fontana     } else {
217e7f2670fSClaudio Fontana         uint32_t pde;
218e7f2670fSClaudio Fontana 
219e7f2670fSClaudio Fontana         /* page directory entry */
2203563362dSRichard Henderson         pde_addr = ((in->cr3 & ~0xfff) + ((addr >> 20) & 0xffc)) &
221e7f2670fSClaudio Fontana             a20_mask;
2229bbcf372SRichard Henderson         PTE_HPHYS(pde_addr);
223e7f2670fSClaudio Fontana         pde = x86_ldl_phys(cs, pde_addr);
224e7f2670fSClaudio Fontana         if (!(pde & PG_PRESENT_MASK)) {
225e7f2670fSClaudio Fontana             goto do_fault;
226e7f2670fSClaudio Fontana         }
227e7f2670fSClaudio Fontana         ptep = pde | PG_NX_MASK;
228e7f2670fSClaudio Fontana 
229e7f2670fSClaudio Fontana         /* if PSE bit is set, then we use a 4MB page */
23031dd35ebSPaolo Bonzini         if ((pde & PG_PSE_MASK) && (pg_mode & PG_MODE_PSE)) {
2313563362dSRichard Henderson             page_size = 4096 * 1024;
232e7f2670fSClaudio Fontana             pte_addr = pde_addr;
233e7f2670fSClaudio Fontana 
234e7f2670fSClaudio Fontana             /* Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved.
235e7f2670fSClaudio Fontana              * Leave bits 20-13 in place for setting accessed/dirty bits below.
236e7f2670fSClaudio Fontana              */
237e7f2670fSClaudio Fontana             pte = pde | ((pde & 0x1fe000LL) << (32 - 13));
238e7f2670fSClaudio Fontana             rsvd_mask = 0x200000;
239e7f2670fSClaudio Fontana             goto do_check_protect_pse36;
240e7f2670fSClaudio Fontana         }
241e7f2670fSClaudio Fontana 
242e7f2670fSClaudio Fontana         if (!(pde & PG_ACCESSED_MASK)) {
243e7f2670fSClaudio Fontana             pde |= PG_ACCESSED_MASK;
244e7f2670fSClaudio Fontana             x86_stl_phys_notdirty(cs, pde_addr, pde);
245e7f2670fSClaudio Fontana         }
246e7f2670fSClaudio Fontana 
247e7f2670fSClaudio Fontana         /* page directory entry */
248e7f2670fSClaudio Fontana         pte_addr = ((pde & ~0xfff) + ((addr >> 10) & 0xffc)) &
249e7f2670fSClaudio Fontana             a20_mask;
2509bbcf372SRichard Henderson         PTE_HPHYS(pte_addr);
251e7f2670fSClaudio Fontana         pte = x86_ldl_phys(cs, pte_addr);
252e7f2670fSClaudio Fontana         if (!(pte & PG_PRESENT_MASK)) {
253e7f2670fSClaudio Fontana             goto do_fault;
254e7f2670fSClaudio Fontana         }
255e7f2670fSClaudio Fontana         /* combine pde and pte user and rw protections */
256e7f2670fSClaudio Fontana         ptep &= pte | PG_NX_MASK;
2573563362dSRichard Henderson         page_size = 4096;
258e7f2670fSClaudio Fontana         rsvd_mask = 0;
259e7f2670fSClaudio Fontana     }
260e7f2670fSClaudio Fontana 
261e7f2670fSClaudio Fontana do_check_protect:
2623563362dSRichard Henderson     rsvd_mask |= (page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK;
263e7f2670fSClaudio Fontana do_check_protect_pse36:
264e7f2670fSClaudio Fontana     if (pte & rsvd_mask) {
265e7f2670fSClaudio Fontana         goto do_fault_rsvd;
266e7f2670fSClaudio Fontana     }
267e7f2670fSClaudio Fontana     ptep ^= PG_NX_MASK;
268e7f2670fSClaudio Fontana 
269e7f2670fSClaudio Fontana     /* can the page can be put in the TLB?  prot will tell us */
270e7f2670fSClaudio Fontana     if (is_user && !(ptep & PG_USER_MASK)) {
271e7f2670fSClaudio Fontana         goto do_fault_protect;
272e7f2670fSClaudio Fontana     }
273e7f2670fSClaudio Fontana 
2743563362dSRichard Henderson     int prot = 0;
2753563362dSRichard Henderson     if (in->mmu_idx != MMU_KSMAP_IDX || !(ptep & PG_USER_MASK)) {
2763563362dSRichard Henderson         prot |= PAGE_READ;
27731dd35ebSPaolo Bonzini         if ((ptep & PG_RW_MASK) || !(is_user || (pg_mode & PG_MODE_WP))) {
2783563362dSRichard Henderson             prot |= PAGE_WRITE;
279e7f2670fSClaudio Fontana         }
280e7f2670fSClaudio Fontana     }
281e7f2670fSClaudio Fontana     if (!(ptep & PG_NX_MASK) &&
2823563362dSRichard Henderson         (is_user ||
28331dd35ebSPaolo Bonzini          !((pg_mode & PG_MODE_SMEP) && (ptep & PG_USER_MASK)))) {
2843563362dSRichard Henderson         prot |= PAGE_EXEC;
285e7f2670fSClaudio Fontana     }
286e7f2670fSClaudio Fontana 
287991ec976SPaolo Bonzini     if (ptep & PG_USER_MASK) {
28831dd35ebSPaolo Bonzini         pkr = pg_mode & PG_MODE_PKE ? env->pkru : 0;
289e7f2670fSClaudio Fontana     } else {
29031dd35ebSPaolo Bonzini         pkr = pg_mode & PG_MODE_PKS ? env->pkrs : 0;
291e7f2670fSClaudio Fontana     }
292e7f2670fSClaudio Fontana     if (pkr) {
293e7f2670fSClaudio Fontana         uint32_t pk = (pte & PG_PKRU_MASK) >> PG_PKRU_BIT;
294e7f2670fSClaudio Fontana         uint32_t pkr_ad = (pkr >> pk * 2) & 1;
295e7f2670fSClaudio Fontana         uint32_t pkr_wd = (pkr >> pk * 2) & 2;
296e7f2670fSClaudio Fontana         uint32_t pkr_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
297e7f2670fSClaudio Fontana 
298e7f2670fSClaudio Fontana         if (pkr_ad) {
299e7f2670fSClaudio Fontana             pkr_prot &= ~(PAGE_READ | PAGE_WRITE);
30031dd35ebSPaolo Bonzini         } else if (pkr_wd && (is_user || (pg_mode & PG_MODE_WP))) {
301e7f2670fSClaudio Fontana             pkr_prot &= ~PAGE_WRITE;
302e7f2670fSClaudio Fontana         }
303487d1133SRichard Henderson         if ((pkr_prot & (1 << access_type)) == 0) {
3043563362dSRichard Henderson             goto do_fault_pk_protect;
305e7f2670fSClaudio Fontana         }
3063563362dSRichard Henderson         prot &= pkr_prot;
307e7f2670fSClaudio Fontana     }
308e7f2670fSClaudio Fontana 
3093563362dSRichard Henderson     if ((prot & (1 << access_type)) == 0) {
310e7f2670fSClaudio Fontana         goto do_fault_protect;
311e7f2670fSClaudio Fontana     }
312e7f2670fSClaudio Fontana 
313e7f2670fSClaudio Fontana     /* yes, it can! */
3143563362dSRichard Henderson     {
3153563362dSRichard Henderson         uint32_t set = PG_ACCESSED_MASK;
3163563362dSRichard Henderson         if (access_type == MMU_DATA_STORE) {
3173563362dSRichard Henderson             set |= PG_DIRTY_MASK;
318e7f2670fSClaudio Fontana         }
3193563362dSRichard Henderson         if (set & ~pte) {
3203563362dSRichard Henderson             pte |= set;
321e7f2670fSClaudio Fontana             x86_stl_phys_notdirty(cs, pte_addr, pte);
322e7f2670fSClaudio Fontana         }
3233563362dSRichard Henderson     }
324e7f2670fSClaudio Fontana 
325e7f2670fSClaudio Fontana     if (!(pte & PG_DIRTY_MASK)) {
326e7f2670fSClaudio Fontana         /* only set write access if already dirty... otherwise wait
327e7f2670fSClaudio Fontana            for dirty access */
3283563362dSRichard Henderson         assert(access_type != MMU_DATA_STORE);
3293563362dSRichard Henderson         prot &= ~PAGE_WRITE;
330e7f2670fSClaudio Fontana     }
331e7f2670fSClaudio Fontana 
332e7f2670fSClaudio Fontana     /* align to page_size */
3333563362dSRichard Henderson     out->paddr = (pte & a20_mask & PG_ADDRESS_MASK & ~(page_size - 1))
3343563362dSRichard Henderson                | (addr & (page_size - 1));
3359bbcf372SRichard Henderson 
3369bbcf372SRichard Henderson     if (in->use_stage2) {
3379bbcf372SRichard Henderson         nested_in.addr = out->paddr;
3389bbcf372SRichard Henderson         nested_in.access_type = access_type;
3399bbcf372SRichard Henderson 
3409bbcf372SRichard Henderson         if (!mmu_translate(env, &nested_in, out, err)) {
3419bbcf372SRichard Henderson             err->stage2 = S2_GPA;
3429bbcf372SRichard Henderson             return false;
3439bbcf372SRichard Henderson         }
3449bbcf372SRichard Henderson 
3459bbcf372SRichard Henderson         /* Merge stage1 & stage2 protection bits. */
3469bbcf372SRichard Henderson         prot &= out->prot;
3479bbcf372SRichard Henderson 
3489bbcf372SRichard Henderson         /* Re-verify resulting protection. */
3499bbcf372SRichard Henderson         if ((prot & (1 << access_type)) == 0) {
3509bbcf372SRichard Henderson             goto do_fault_protect;
3519bbcf372SRichard Henderson         }
3529bbcf372SRichard Henderson     }
3539bbcf372SRichard Henderson 
3549bbcf372SRichard Henderson     out->prot = prot;
3559bbcf372SRichard Henderson     out->page_size = page_size;
3563563362dSRichard Henderson     return true;
357e7f2670fSClaudio Fontana 
3583563362dSRichard Henderson     int error_code;
359e7f2670fSClaudio Fontana  do_fault_rsvd:
3603563362dSRichard Henderson     error_code = PG_ERROR_RSVD_MASK;
3613563362dSRichard Henderson     goto do_fault_cont;
362e7f2670fSClaudio Fontana  do_fault_protect:
3633563362dSRichard Henderson     error_code = PG_ERROR_P_MASK;
3643563362dSRichard Henderson     goto do_fault_cont;
3653563362dSRichard Henderson  do_fault_pk_protect:
3663563362dSRichard Henderson     assert(access_type != MMU_INST_FETCH);
3673563362dSRichard Henderson     error_code = PG_ERROR_PK_MASK | PG_ERROR_P_MASK;
3683563362dSRichard Henderson     goto do_fault_cont;
369e7f2670fSClaudio Fontana  do_fault:
3703563362dSRichard Henderson     error_code = 0;
3713563362dSRichard Henderson  do_fault_cont:
3723563362dSRichard Henderson     if (is_user) {
373e7f2670fSClaudio Fontana         error_code |= PG_ERROR_U_MASK;
3743563362dSRichard Henderson     }
3753563362dSRichard Henderson     switch (access_type) {
3763563362dSRichard Henderson     case MMU_DATA_LOAD:
3773563362dSRichard Henderson         break;
3783563362dSRichard Henderson     case MMU_DATA_STORE:
3793563362dSRichard Henderson         error_code |= PG_ERROR_W_MASK;
3803563362dSRichard Henderson         break;
3813563362dSRichard Henderson     case MMU_INST_FETCH:
3823563362dSRichard Henderson         if (pg_mode & (PG_MODE_NXE | PG_MODE_SMEP)) {
383e7f2670fSClaudio Fontana             error_code |= PG_ERROR_I_D_MASK;
3843563362dSRichard Henderson         }
3853563362dSRichard Henderson         break;
3863563362dSRichard Henderson     }
3873563362dSRichard Henderson     err->exception_index = EXCP0E_PAGE;
3883563362dSRichard Henderson     err->error_code = error_code;
3893563362dSRichard Henderson     err->cr2 = addr;
3909bbcf372SRichard Henderson     err->stage2 = S2_NONE;
3913563362dSRichard Henderson     return false;
392661ff487SPaolo Bonzini }
393661ff487SPaolo Bonzini 
3949bbcf372SRichard Henderson static G_NORETURN void raise_stage2(CPUX86State *env, TranslateFault *err,
3959bbcf372SRichard Henderson                                     uintptr_t retaddr)
3969bbcf372SRichard Henderson {
3979bbcf372SRichard Henderson     uint64_t exit_info_1 = err->error_code;
3989bbcf372SRichard Henderson 
3999bbcf372SRichard Henderson     switch (err->stage2) {
4009bbcf372SRichard Henderson     case S2_GPT:
4019bbcf372SRichard Henderson         exit_info_1 |= SVM_NPTEXIT_GPT;
4029bbcf372SRichard Henderson         break;
4039bbcf372SRichard Henderson     case S2_GPA:
4049bbcf372SRichard Henderson         exit_info_1 |= SVM_NPTEXIT_GPA;
4059bbcf372SRichard Henderson         break;
4069bbcf372SRichard Henderson     default:
4079bbcf372SRichard Henderson         g_assert_not_reached();
4089bbcf372SRichard Henderson     }
4099bbcf372SRichard Henderson 
4109bbcf372SRichard Henderson     x86_stq_phys(env_cpu(env),
4119bbcf372SRichard Henderson                  env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2),
4129bbcf372SRichard Henderson                  err->cr2);
4139bbcf372SRichard Henderson     cpu_vmexit(env, SVM_EXIT_NPF, exit_info_1, retaddr);
4149bbcf372SRichard Henderson }
4159bbcf372SRichard Henderson 
41652fb8ad3SLara Lazier hwaddr get_hphys(CPUState *cs, hwaddr gphys, MMUAccessType access_type,
41768746930SPaolo Bonzini                  int *prot)
41868746930SPaolo Bonzini {
4199bbcf372SRichard Henderson     CPUX86State *env = cs->env_ptr;
42068746930SPaolo Bonzini 
42168746930SPaolo Bonzini     if (likely(!(env->hflags2 & HF2_NPT_MASK))) {
42268746930SPaolo Bonzini         return gphys;
4233563362dSRichard Henderson     } else {
4243563362dSRichard Henderson         TranslateParams in = {
4253563362dSRichard Henderson             .addr = gphys,
4263563362dSRichard Henderson             .cr3 = env->nested_cr3,
4273563362dSRichard Henderson             .pg_mode = env->nested_pg_mode,
4283563362dSRichard Henderson             .mmu_idx = MMU_USER_IDX,
4293563362dSRichard Henderson             .access_type = access_type,
4303563362dSRichard Henderson             .use_stage2 = false,
4313563362dSRichard Henderson         };
4323563362dSRichard Henderson         TranslateResult out;
4333563362dSRichard Henderson         TranslateFault err;
4343563362dSRichard Henderson 
4359bbcf372SRichard Henderson         if (!mmu_translate(env, &in, &out, &err)) {
4369bbcf372SRichard Henderson             err.stage2 = prot ? SVM_NPTEXIT_GPA : SVM_NPTEXIT_GPT;
4379bbcf372SRichard Henderson             raise_stage2(env, &err, env->retaddr);
4389bbcf372SRichard Henderson         }
4399bbcf372SRichard Henderson 
4403563362dSRichard Henderson         if (prot) {
4413563362dSRichard Henderson             *prot &= out.prot;
4423563362dSRichard Henderson         }
4433563362dSRichard Henderson         return out.paddr;
44468746930SPaolo Bonzini     }
4453563362dSRichard Henderson }
44668746930SPaolo Bonzini 
4473563362dSRichard Henderson static bool get_physical_address(CPUX86State *env, vaddr addr,
4483563362dSRichard Henderson                                  MMUAccessType access_type, int mmu_idx,
4493563362dSRichard Henderson                                  TranslateResult *out, TranslateFault *err)
450661ff487SPaolo Bonzini {
451*98281984SRichard Henderson     TranslateParams in;
452*98281984SRichard Henderson     bool use_stage2 = env->hflags2 & HF2_NPT_MASK;
4533563362dSRichard Henderson 
454*98281984SRichard Henderson     in.addr = addr;
455*98281984SRichard Henderson     in.access_type = access_type;
456*98281984SRichard Henderson 
457*98281984SRichard Henderson     switch (mmu_idx) {
458*98281984SRichard Henderson     case MMU_PHYS_IDX:
459*98281984SRichard Henderson         break;
460*98281984SRichard Henderson 
461*98281984SRichard Henderson     case MMU_NESTED_IDX:
462*98281984SRichard Henderson         if (likely(use_stage2)) {
463*98281984SRichard Henderson             in.cr3 = env->nested_cr3;
464*98281984SRichard Henderson             in.pg_mode = env->nested_pg_mode;
465*98281984SRichard Henderson             in.mmu_idx = MMU_USER_IDX;
466*98281984SRichard Henderson             in.use_stage2 = false;
467*98281984SRichard Henderson 
468*98281984SRichard Henderson             if (!mmu_translate(env, &in, out, err)) {
469*98281984SRichard Henderson                 err->stage2 = S2_GPA;
470*98281984SRichard Henderson                 return false;
471661ff487SPaolo Bonzini             }
4723563362dSRichard Henderson             return true;
473*98281984SRichard Henderson         }
474*98281984SRichard Henderson         break;
475b04dc92eSPaolo Bonzini 
476*98281984SRichard Henderson     default:
477*98281984SRichard Henderson         in.cr3 = env->cr[3];
478*98281984SRichard Henderson         in.mmu_idx = mmu_idx;
479*98281984SRichard Henderson         in.use_stage2 = use_stage2;
480*98281984SRichard Henderson         in.pg_mode = get_pg_mode(env);
481*98281984SRichard Henderson 
482*98281984SRichard Henderson         if (likely(in.pg_mode)) {
4833563362dSRichard Henderson             if (in.pg_mode & PG_MODE_LMA) {
484b04dc92eSPaolo Bonzini                 /* test virtual address sign extension */
4853563362dSRichard Henderson                 int shift = in.pg_mode & PG_MODE_LA57 ? 56 : 47;
4863563362dSRichard Henderson                 int64_t sext = (int64_t)addr >> shift;
487b04dc92eSPaolo Bonzini                 if (sext != 0 && sext != -1) {
4883563362dSRichard Henderson                     err->exception_index = EXCP0D_GPF;
4893563362dSRichard Henderson                     err->error_code = 0;
4903563362dSRichard Henderson                     err->cr2 = addr;
4913563362dSRichard Henderson                     return false;
492b04dc92eSPaolo Bonzini                 }
493b04dc92eSPaolo Bonzini             }
4943563362dSRichard Henderson             return mmu_translate(env, &in, out, err);
495e7f2670fSClaudio Fontana         }
496*98281984SRichard Henderson         break;
497*98281984SRichard Henderson     }
498*98281984SRichard Henderson 
499*98281984SRichard Henderson     /* Translation disabled. */
500*98281984SRichard Henderson     out->paddr = addr & x86_get_a20_mask(env);
501*98281984SRichard Henderson #ifdef TARGET_X86_64
502*98281984SRichard Henderson     if (!(env->hflags & HF_LMA_MASK)) {
503*98281984SRichard Henderson         /* Without long mode we can only address 32bits in real mode */
504*98281984SRichard Henderson         out->paddr = (uint32_t)out->paddr;
505*98281984SRichard Henderson     }
506*98281984SRichard Henderson #endif
507*98281984SRichard Henderson     out->prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
508*98281984SRichard Henderson     out->page_size = TARGET_PAGE_SIZE;
509*98281984SRichard Henderson     return true;
510661ff487SPaolo Bonzini }
511e7f2670fSClaudio Fontana 
512e7f2670fSClaudio Fontana bool x86_cpu_tlb_fill(CPUState *cs, vaddr addr, int size,
513e7f2670fSClaudio Fontana                       MMUAccessType access_type, int mmu_idx,
514e7f2670fSClaudio Fontana                       bool probe, uintptr_t retaddr)
515e7f2670fSClaudio Fontana {
5163563362dSRichard Henderson     CPUX86State *env = cs->env_ptr;
5173563362dSRichard Henderson     TranslateResult out;
5183563362dSRichard Henderson     TranslateFault err;
519e7f2670fSClaudio Fontana 
5203563362dSRichard Henderson     if (get_physical_address(env, addr, access_type, mmu_idx, &out, &err)) {
5213563362dSRichard Henderson         /*
5223563362dSRichard Henderson          * Even if 4MB pages, we map only one 4KB page in the cache to
5233563362dSRichard Henderson          * avoid filling it too fast.
5243563362dSRichard Henderson          */
5253563362dSRichard Henderson         assert(out.prot & (1 << access_type));
5263563362dSRichard Henderson         tlb_set_page_with_attrs(cs, addr & TARGET_PAGE_MASK,
5273563362dSRichard Henderson                                 out.paddr & TARGET_PAGE_MASK,
5283563362dSRichard Henderson                                 cpu_get_mem_attrs(env),
5293563362dSRichard Henderson                                 out.prot, mmu_idx, out.page_size);
5303563362dSRichard Henderson         return true;
5313563362dSRichard Henderson     }
5323563362dSRichard Henderson 
5339bbcf372SRichard Henderson     if (probe) {
5349bbcf372SRichard Henderson         return false;
5359bbcf372SRichard Henderson     }
5369bbcf372SRichard Henderson 
5379bbcf372SRichard Henderson     if (err.stage2 != S2_NONE) {
5389bbcf372SRichard Henderson         raise_stage2(env, &err, retaddr);
5399bbcf372SRichard Henderson     }
5403563362dSRichard Henderson 
5413563362dSRichard Henderson     if (env->intercept_exceptions & (1 << err.exception_index)) {
5423563362dSRichard Henderson         /* cr2 is not modified in case of exceptions */
5433563362dSRichard Henderson         x86_stq_phys(cs, env->vm_vmcb +
5443563362dSRichard Henderson                      offsetof(struct vmcb, control.exit_info_2),
5453563362dSRichard Henderson                      err.cr2);
5463563362dSRichard Henderson     } else {
5473563362dSRichard Henderson         env->cr[2] = err.cr2;
548e7f2670fSClaudio Fontana     }
5493563362dSRichard Henderson     raise_exception_err_ra(env, err.exception_index, err.error_code, retaddr);
550e7f2670fSClaudio Fontana }
551958e1dd1SPaolo Bonzini 
552958e1dd1SPaolo Bonzini G_NORETURN void x86_cpu_do_unaligned_access(CPUState *cs, vaddr vaddr,
553958e1dd1SPaolo Bonzini                                             MMUAccessType access_type,
554958e1dd1SPaolo Bonzini                                             int mmu_idx, uintptr_t retaddr)
555958e1dd1SPaolo Bonzini {
556958e1dd1SPaolo Bonzini     X86CPU *cpu = X86_CPU(cs);
557958e1dd1SPaolo Bonzini     handle_unaligned_access(&cpu->env, vaddr, access_type, retaddr);
558958e1dd1SPaolo Bonzini }
559