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