xref: /openbmc/qemu/target/i386/tcg/sysemu/excp_helper.c (revision e7f2670f2a7cc259cc98d3a4a7ad4dc36389d60b)
1*e7f2670fSClaudio Fontana /*
2*e7f2670fSClaudio Fontana  *  x86 exception helpers - sysemu code
3*e7f2670fSClaudio Fontana  *
4*e7f2670fSClaudio Fontana  *  Copyright (c) 2003 Fabrice Bellard
5*e7f2670fSClaudio Fontana  *
6*e7f2670fSClaudio Fontana  * This library is free software; you can redistribute it and/or
7*e7f2670fSClaudio Fontana  * modify it under the terms of the GNU Lesser General Public
8*e7f2670fSClaudio Fontana  * License as published by the Free Software Foundation; either
9*e7f2670fSClaudio Fontana  * version 2.1 of the License, or (at your option) any later version.
10*e7f2670fSClaudio Fontana  *
11*e7f2670fSClaudio Fontana  * This library is distributed in the hope that it will be useful,
12*e7f2670fSClaudio Fontana  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13*e7f2670fSClaudio Fontana  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14*e7f2670fSClaudio Fontana  * Lesser General Public License for more details.
15*e7f2670fSClaudio Fontana  *
16*e7f2670fSClaudio Fontana  * You should have received a copy of the GNU Lesser General Public
17*e7f2670fSClaudio Fontana  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
18*e7f2670fSClaudio Fontana  */
19*e7f2670fSClaudio Fontana 
20*e7f2670fSClaudio Fontana #include "qemu/osdep.h"
21*e7f2670fSClaudio Fontana #include "cpu.h"
22*e7f2670fSClaudio Fontana #include "tcg/helper-tcg.h"
23*e7f2670fSClaudio Fontana 
24*e7f2670fSClaudio Fontana static hwaddr get_hphys(CPUState *cs, hwaddr gphys, MMUAccessType access_type,
25*e7f2670fSClaudio Fontana                         int *prot)
26*e7f2670fSClaudio Fontana {
27*e7f2670fSClaudio Fontana     X86CPU *cpu = X86_CPU(cs);
28*e7f2670fSClaudio Fontana     CPUX86State *env = &cpu->env;
29*e7f2670fSClaudio Fontana     uint64_t rsvd_mask = PG_ADDRESS_MASK & ~MAKE_64BIT_MASK(0, cpu->phys_bits);
30*e7f2670fSClaudio Fontana     uint64_t ptep, pte;
31*e7f2670fSClaudio Fontana     uint64_t exit_info_1 = 0;
32*e7f2670fSClaudio Fontana     target_ulong pde_addr, pte_addr;
33*e7f2670fSClaudio Fontana     uint32_t page_offset;
34*e7f2670fSClaudio Fontana     int page_size;
35*e7f2670fSClaudio Fontana 
36*e7f2670fSClaudio Fontana     if (likely(!(env->hflags2 & HF2_NPT_MASK))) {
37*e7f2670fSClaudio Fontana         return gphys;
38*e7f2670fSClaudio Fontana     }
39*e7f2670fSClaudio Fontana 
40*e7f2670fSClaudio Fontana     if (!(env->nested_pg_mode & SVM_NPT_NXE)) {
41*e7f2670fSClaudio Fontana         rsvd_mask |= PG_NX_MASK;
42*e7f2670fSClaudio Fontana     }
43*e7f2670fSClaudio Fontana 
44*e7f2670fSClaudio Fontana     if (env->nested_pg_mode & SVM_NPT_PAE) {
45*e7f2670fSClaudio Fontana         uint64_t pde, pdpe;
46*e7f2670fSClaudio Fontana         target_ulong pdpe_addr;
47*e7f2670fSClaudio Fontana 
48*e7f2670fSClaudio Fontana #ifdef TARGET_X86_64
49*e7f2670fSClaudio Fontana         if (env->nested_pg_mode & SVM_NPT_LMA) {
50*e7f2670fSClaudio Fontana             uint64_t pml5e;
51*e7f2670fSClaudio Fontana             uint64_t pml4e_addr, pml4e;
52*e7f2670fSClaudio Fontana 
53*e7f2670fSClaudio Fontana             pml5e = env->nested_cr3;
54*e7f2670fSClaudio Fontana             ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;
55*e7f2670fSClaudio Fontana 
56*e7f2670fSClaudio Fontana             pml4e_addr = (pml5e & PG_ADDRESS_MASK) +
57*e7f2670fSClaudio Fontana                     (((gphys >> 39) & 0x1ff) << 3);
58*e7f2670fSClaudio Fontana             pml4e = x86_ldq_phys(cs, pml4e_addr);
59*e7f2670fSClaudio Fontana             if (!(pml4e & PG_PRESENT_MASK)) {
60*e7f2670fSClaudio Fontana                 goto do_fault;
61*e7f2670fSClaudio Fontana             }
62*e7f2670fSClaudio Fontana             if (pml4e & (rsvd_mask | PG_PSE_MASK)) {
63*e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
64*e7f2670fSClaudio Fontana             }
65*e7f2670fSClaudio Fontana             if (!(pml4e & PG_ACCESSED_MASK)) {
66*e7f2670fSClaudio Fontana                 pml4e |= PG_ACCESSED_MASK;
67*e7f2670fSClaudio Fontana                 x86_stl_phys_notdirty(cs, pml4e_addr, pml4e);
68*e7f2670fSClaudio Fontana             }
69*e7f2670fSClaudio Fontana             ptep &= pml4e ^ PG_NX_MASK;
70*e7f2670fSClaudio Fontana             pdpe_addr = (pml4e & PG_ADDRESS_MASK) +
71*e7f2670fSClaudio Fontana                     (((gphys >> 30) & 0x1ff) << 3);
72*e7f2670fSClaudio Fontana             pdpe = x86_ldq_phys(cs, pdpe_addr);
73*e7f2670fSClaudio Fontana             if (!(pdpe & PG_PRESENT_MASK)) {
74*e7f2670fSClaudio Fontana                 goto do_fault;
75*e7f2670fSClaudio Fontana             }
76*e7f2670fSClaudio Fontana             if (pdpe & rsvd_mask) {
77*e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
78*e7f2670fSClaudio Fontana             }
79*e7f2670fSClaudio Fontana             ptep &= pdpe ^ PG_NX_MASK;
80*e7f2670fSClaudio Fontana             if (!(pdpe & PG_ACCESSED_MASK)) {
81*e7f2670fSClaudio Fontana                 pdpe |= PG_ACCESSED_MASK;
82*e7f2670fSClaudio Fontana                 x86_stl_phys_notdirty(cs, pdpe_addr, pdpe);
83*e7f2670fSClaudio Fontana             }
84*e7f2670fSClaudio Fontana             if (pdpe & PG_PSE_MASK) {
85*e7f2670fSClaudio Fontana                 /* 1 GB page */
86*e7f2670fSClaudio Fontana                 page_size = 1024 * 1024 * 1024;
87*e7f2670fSClaudio Fontana                 pte_addr = pdpe_addr;
88*e7f2670fSClaudio Fontana                 pte = pdpe;
89*e7f2670fSClaudio Fontana                 goto do_check_protect;
90*e7f2670fSClaudio Fontana             }
91*e7f2670fSClaudio Fontana         } else
92*e7f2670fSClaudio Fontana #endif
93*e7f2670fSClaudio Fontana         {
94*e7f2670fSClaudio Fontana             pdpe_addr = (env->nested_cr3 & ~0x1f) + ((gphys >> 27) & 0x18);
95*e7f2670fSClaudio Fontana             pdpe = x86_ldq_phys(cs, pdpe_addr);
96*e7f2670fSClaudio Fontana             if (!(pdpe & PG_PRESENT_MASK)) {
97*e7f2670fSClaudio Fontana                 goto do_fault;
98*e7f2670fSClaudio Fontana             }
99*e7f2670fSClaudio Fontana             rsvd_mask |= PG_HI_USER_MASK;
100*e7f2670fSClaudio Fontana             if (pdpe & (rsvd_mask | PG_NX_MASK)) {
101*e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
102*e7f2670fSClaudio Fontana             }
103*e7f2670fSClaudio Fontana             ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;
104*e7f2670fSClaudio Fontana         }
105*e7f2670fSClaudio Fontana 
106*e7f2670fSClaudio Fontana         pde_addr = (pdpe & PG_ADDRESS_MASK) + (((gphys >> 21) & 0x1ff) << 3);
107*e7f2670fSClaudio Fontana         pde = x86_ldq_phys(cs, pde_addr);
108*e7f2670fSClaudio Fontana         if (!(pde & PG_PRESENT_MASK)) {
109*e7f2670fSClaudio Fontana             goto do_fault;
110*e7f2670fSClaudio Fontana         }
111*e7f2670fSClaudio Fontana         if (pde & rsvd_mask) {
112*e7f2670fSClaudio Fontana             goto do_fault_rsvd;
113*e7f2670fSClaudio Fontana         }
114*e7f2670fSClaudio Fontana         ptep &= pde ^ PG_NX_MASK;
115*e7f2670fSClaudio Fontana         if (pde & PG_PSE_MASK) {
116*e7f2670fSClaudio Fontana             /* 2 MB page */
117*e7f2670fSClaudio Fontana             page_size = 2048 * 1024;
118*e7f2670fSClaudio Fontana             pte_addr = pde_addr;
119*e7f2670fSClaudio Fontana             pte = pde;
120*e7f2670fSClaudio Fontana             goto do_check_protect;
121*e7f2670fSClaudio Fontana         }
122*e7f2670fSClaudio Fontana         /* 4 KB page */
123*e7f2670fSClaudio Fontana         if (!(pde & PG_ACCESSED_MASK)) {
124*e7f2670fSClaudio Fontana             pde |= PG_ACCESSED_MASK;
125*e7f2670fSClaudio Fontana             x86_stl_phys_notdirty(cs, pde_addr, pde);
126*e7f2670fSClaudio Fontana         }
127*e7f2670fSClaudio Fontana         pte_addr = (pde & PG_ADDRESS_MASK) + (((gphys >> 12) & 0x1ff) << 3);
128*e7f2670fSClaudio Fontana         pte = x86_ldq_phys(cs, pte_addr);
129*e7f2670fSClaudio Fontana         if (!(pte & PG_PRESENT_MASK)) {
130*e7f2670fSClaudio Fontana             goto do_fault;
131*e7f2670fSClaudio Fontana         }
132*e7f2670fSClaudio Fontana         if (pte & rsvd_mask) {
133*e7f2670fSClaudio Fontana             goto do_fault_rsvd;
134*e7f2670fSClaudio Fontana         }
135*e7f2670fSClaudio Fontana         /* combine pde and pte nx, user and rw protections */
136*e7f2670fSClaudio Fontana         ptep &= pte ^ PG_NX_MASK;
137*e7f2670fSClaudio Fontana         page_size = 4096;
138*e7f2670fSClaudio Fontana     } else {
139*e7f2670fSClaudio Fontana         uint32_t pde;
140*e7f2670fSClaudio Fontana 
141*e7f2670fSClaudio Fontana         /* page directory entry */
142*e7f2670fSClaudio Fontana         pde_addr = (env->nested_cr3 & ~0xfff) + ((gphys >> 20) & 0xffc);
143*e7f2670fSClaudio Fontana         pde = x86_ldl_phys(cs, pde_addr);
144*e7f2670fSClaudio Fontana         if (!(pde & PG_PRESENT_MASK)) {
145*e7f2670fSClaudio Fontana             goto do_fault;
146*e7f2670fSClaudio Fontana         }
147*e7f2670fSClaudio Fontana         ptep = pde | PG_NX_MASK;
148*e7f2670fSClaudio Fontana 
149*e7f2670fSClaudio Fontana         /* if host cr4 PSE bit is set, then we use a 4MB page */
150*e7f2670fSClaudio Fontana         if ((pde & PG_PSE_MASK) && (env->nested_pg_mode & SVM_NPT_PSE)) {
151*e7f2670fSClaudio Fontana             page_size = 4096 * 1024;
152*e7f2670fSClaudio Fontana             pte_addr = pde_addr;
153*e7f2670fSClaudio Fontana 
154*e7f2670fSClaudio Fontana             /* Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved.
155*e7f2670fSClaudio Fontana              * Leave bits 20-13 in place for setting accessed/dirty bits below.
156*e7f2670fSClaudio Fontana              */
157*e7f2670fSClaudio Fontana             pte = pde | ((pde & 0x1fe000LL) << (32 - 13));
158*e7f2670fSClaudio Fontana             rsvd_mask = 0x200000;
159*e7f2670fSClaudio Fontana             goto do_check_protect_pse36;
160*e7f2670fSClaudio Fontana         }
161*e7f2670fSClaudio Fontana 
162*e7f2670fSClaudio Fontana         if (!(pde & PG_ACCESSED_MASK)) {
163*e7f2670fSClaudio Fontana             pde |= PG_ACCESSED_MASK;
164*e7f2670fSClaudio Fontana             x86_stl_phys_notdirty(cs, pde_addr, pde);
165*e7f2670fSClaudio Fontana         }
166*e7f2670fSClaudio Fontana 
167*e7f2670fSClaudio Fontana         /* page directory entry */
168*e7f2670fSClaudio Fontana         pte_addr = (pde & ~0xfff) + ((gphys >> 10) & 0xffc);
169*e7f2670fSClaudio Fontana         pte = x86_ldl_phys(cs, pte_addr);
170*e7f2670fSClaudio Fontana         if (!(pte & PG_PRESENT_MASK)) {
171*e7f2670fSClaudio Fontana             goto do_fault;
172*e7f2670fSClaudio Fontana         }
173*e7f2670fSClaudio Fontana         /* combine pde and pte user and rw protections */
174*e7f2670fSClaudio Fontana         ptep &= pte | PG_NX_MASK;
175*e7f2670fSClaudio Fontana         page_size = 4096;
176*e7f2670fSClaudio Fontana         rsvd_mask = 0;
177*e7f2670fSClaudio Fontana     }
178*e7f2670fSClaudio Fontana 
179*e7f2670fSClaudio Fontana  do_check_protect:
180*e7f2670fSClaudio Fontana     rsvd_mask |= (page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK;
181*e7f2670fSClaudio Fontana  do_check_protect_pse36:
182*e7f2670fSClaudio Fontana     if (pte & rsvd_mask) {
183*e7f2670fSClaudio Fontana         goto do_fault_rsvd;
184*e7f2670fSClaudio Fontana     }
185*e7f2670fSClaudio Fontana     ptep ^= PG_NX_MASK;
186*e7f2670fSClaudio Fontana 
187*e7f2670fSClaudio Fontana     if (!(ptep & PG_USER_MASK)) {
188*e7f2670fSClaudio Fontana         goto do_fault_protect;
189*e7f2670fSClaudio Fontana     }
190*e7f2670fSClaudio Fontana     if (ptep & PG_NX_MASK) {
191*e7f2670fSClaudio Fontana         if (access_type == MMU_INST_FETCH) {
192*e7f2670fSClaudio Fontana             goto do_fault_protect;
193*e7f2670fSClaudio Fontana         }
194*e7f2670fSClaudio Fontana         *prot &= ~PAGE_EXEC;
195*e7f2670fSClaudio Fontana     }
196*e7f2670fSClaudio Fontana     if (!(ptep & PG_RW_MASK)) {
197*e7f2670fSClaudio Fontana         if (access_type == MMU_DATA_STORE) {
198*e7f2670fSClaudio Fontana             goto do_fault_protect;
199*e7f2670fSClaudio Fontana         }
200*e7f2670fSClaudio Fontana         *prot &= ~PAGE_WRITE;
201*e7f2670fSClaudio Fontana     }
202*e7f2670fSClaudio Fontana 
203*e7f2670fSClaudio Fontana     pte &= PG_ADDRESS_MASK & ~(page_size - 1);
204*e7f2670fSClaudio Fontana     page_offset = gphys & (page_size - 1);
205*e7f2670fSClaudio Fontana     return pte + page_offset;
206*e7f2670fSClaudio Fontana 
207*e7f2670fSClaudio Fontana  do_fault_rsvd:
208*e7f2670fSClaudio Fontana     exit_info_1 |= SVM_NPTEXIT_RSVD;
209*e7f2670fSClaudio Fontana  do_fault_protect:
210*e7f2670fSClaudio Fontana     exit_info_1 |= SVM_NPTEXIT_P;
211*e7f2670fSClaudio Fontana  do_fault:
212*e7f2670fSClaudio Fontana     x86_stq_phys(cs, env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2),
213*e7f2670fSClaudio Fontana                  gphys);
214*e7f2670fSClaudio Fontana     exit_info_1 |= SVM_NPTEXIT_US;
215*e7f2670fSClaudio Fontana     if (access_type == MMU_DATA_STORE) {
216*e7f2670fSClaudio Fontana         exit_info_1 |= SVM_NPTEXIT_RW;
217*e7f2670fSClaudio Fontana     } else if (access_type == MMU_INST_FETCH) {
218*e7f2670fSClaudio Fontana         exit_info_1 |= SVM_NPTEXIT_ID;
219*e7f2670fSClaudio Fontana     }
220*e7f2670fSClaudio Fontana     if (prot) {
221*e7f2670fSClaudio Fontana         exit_info_1 |= SVM_NPTEXIT_GPA;
222*e7f2670fSClaudio Fontana     } else { /* page table access */
223*e7f2670fSClaudio Fontana         exit_info_1 |= SVM_NPTEXIT_GPT;
224*e7f2670fSClaudio Fontana     }
225*e7f2670fSClaudio Fontana     cpu_vmexit(env, SVM_EXIT_NPF, exit_info_1, env->retaddr);
226*e7f2670fSClaudio Fontana }
227*e7f2670fSClaudio Fontana 
228*e7f2670fSClaudio Fontana /* return value:
229*e7f2670fSClaudio Fontana  * -1 = cannot handle fault
230*e7f2670fSClaudio Fontana  * 0  = nothing more to do
231*e7f2670fSClaudio Fontana  * 1  = generate PF fault
232*e7f2670fSClaudio Fontana  */
233*e7f2670fSClaudio Fontana static int handle_mmu_fault(CPUState *cs, vaddr addr, int size,
234*e7f2670fSClaudio Fontana                             int is_write1, int mmu_idx)
235*e7f2670fSClaudio Fontana {
236*e7f2670fSClaudio Fontana     X86CPU *cpu = X86_CPU(cs);
237*e7f2670fSClaudio Fontana     CPUX86State *env = &cpu->env;
238*e7f2670fSClaudio Fontana     uint64_t ptep, pte;
239*e7f2670fSClaudio Fontana     int32_t a20_mask;
240*e7f2670fSClaudio Fontana     target_ulong pde_addr, pte_addr;
241*e7f2670fSClaudio Fontana     int error_code = 0;
242*e7f2670fSClaudio Fontana     int is_dirty, prot, page_size, is_write, is_user;
243*e7f2670fSClaudio Fontana     hwaddr paddr;
244*e7f2670fSClaudio Fontana     uint64_t rsvd_mask = PG_ADDRESS_MASK & ~MAKE_64BIT_MASK(0, cpu->phys_bits);
245*e7f2670fSClaudio Fontana     uint32_t page_offset;
246*e7f2670fSClaudio Fontana     target_ulong vaddr;
247*e7f2670fSClaudio Fontana     uint32_t pkr;
248*e7f2670fSClaudio Fontana 
249*e7f2670fSClaudio Fontana     is_user = mmu_idx == MMU_USER_IDX;
250*e7f2670fSClaudio Fontana #if defined(DEBUG_MMU)
251*e7f2670fSClaudio Fontana     printf("MMU fault: addr=%" VADDR_PRIx " w=%d u=%d eip=" TARGET_FMT_lx "\n",
252*e7f2670fSClaudio Fontana            addr, is_write1, is_user, env->eip);
253*e7f2670fSClaudio Fontana #endif
254*e7f2670fSClaudio Fontana     is_write = is_write1 & 1;
255*e7f2670fSClaudio Fontana 
256*e7f2670fSClaudio Fontana     a20_mask = x86_get_a20_mask(env);
257*e7f2670fSClaudio Fontana     if (!(env->cr[0] & CR0_PG_MASK)) {
258*e7f2670fSClaudio Fontana         pte = addr;
259*e7f2670fSClaudio Fontana #ifdef TARGET_X86_64
260*e7f2670fSClaudio Fontana         if (!(env->hflags & HF_LMA_MASK)) {
261*e7f2670fSClaudio Fontana             /* Without long mode we can only address 32bits in real mode */
262*e7f2670fSClaudio Fontana             pte = (uint32_t)pte;
263*e7f2670fSClaudio Fontana         }
264*e7f2670fSClaudio Fontana #endif
265*e7f2670fSClaudio Fontana         prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
266*e7f2670fSClaudio Fontana         page_size = 4096;
267*e7f2670fSClaudio Fontana         goto do_mapping;
268*e7f2670fSClaudio Fontana     }
269*e7f2670fSClaudio Fontana 
270*e7f2670fSClaudio Fontana     if (!(env->efer & MSR_EFER_NXE)) {
271*e7f2670fSClaudio Fontana         rsvd_mask |= PG_NX_MASK;
272*e7f2670fSClaudio Fontana     }
273*e7f2670fSClaudio Fontana 
274*e7f2670fSClaudio Fontana     if (env->cr[4] & CR4_PAE_MASK) {
275*e7f2670fSClaudio Fontana         uint64_t pde, pdpe;
276*e7f2670fSClaudio Fontana         target_ulong pdpe_addr;
277*e7f2670fSClaudio Fontana 
278*e7f2670fSClaudio Fontana #ifdef TARGET_X86_64
279*e7f2670fSClaudio Fontana         if (env->hflags & HF_LMA_MASK) {
280*e7f2670fSClaudio Fontana             bool la57 = env->cr[4] & CR4_LA57_MASK;
281*e7f2670fSClaudio Fontana             uint64_t pml5e_addr, pml5e;
282*e7f2670fSClaudio Fontana             uint64_t pml4e_addr, pml4e;
283*e7f2670fSClaudio Fontana             int32_t sext;
284*e7f2670fSClaudio Fontana 
285*e7f2670fSClaudio Fontana             /* test virtual address sign extension */
286*e7f2670fSClaudio Fontana             sext = la57 ? (int64_t)addr >> 56 : (int64_t)addr >> 47;
287*e7f2670fSClaudio Fontana             if (sext != 0 && sext != -1) {
288*e7f2670fSClaudio Fontana                 env->error_code = 0;
289*e7f2670fSClaudio Fontana                 cs->exception_index = EXCP0D_GPF;
290*e7f2670fSClaudio Fontana                 return 1;
291*e7f2670fSClaudio Fontana             }
292*e7f2670fSClaudio Fontana 
293*e7f2670fSClaudio Fontana             if (la57) {
294*e7f2670fSClaudio Fontana                 pml5e_addr = ((env->cr[3] & ~0xfff) +
295*e7f2670fSClaudio Fontana                         (((addr >> 48) & 0x1ff) << 3)) & a20_mask;
296*e7f2670fSClaudio Fontana                 pml5e_addr = get_hphys(cs, pml5e_addr, MMU_DATA_STORE, NULL);
297*e7f2670fSClaudio Fontana                 pml5e = x86_ldq_phys(cs, pml5e_addr);
298*e7f2670fSClaudio Fontana                 if (!(pml5e & PG_PRESENT_MASK)) {
299*e7f2670fSClaudio Fontana                     goto do_fault;
300*e7f2670fSClaudio Fontana                 }
301*e7f2670fSClaudio Fontana                 if (pml5e & (rsvd_mask | PG_PSE_MASK)) {
302*e7f2670fSClaudio Fontana                     goto do_fault_rsvd;
303*e7f2670fSClaudio Fontana                 }
304*e7f2670fSClaudio Fontana                 if (!(pml5e & PG_ACCESSED_MASK)) {
305*e7f2670fSClaudio Fontana                     pml5e |= PG_ACCESSED_MASK;
306*e7f2670fSClaudio Fontana                     x86_stl_phys_notdirty(cs, pml5e_addr, pml5e);
307*e7f2670fSClaudio Fontana                 }
308*e7f2670fSClaudio Fontana                 ptep = pml5e ^ PG_NX_MASK;
309*e7f2670fSClaudio Fontana             } else {
310*e7f2670fSClaudio Fontana                 pml5e = env->cr[3];
311*e7f2670fSClaudio Fontana                 ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;
312*e7f2670fSClaudio Fontana             }
313*e7f2670fSClaudio Fontana 
314*e7f2670fSClaudio Fontana             pml4e_addr = ((pml5e & PG_ADDRESS_MASK) +
315*e7f2670fSClaudio Fontana                     (((addr >> 39) & 0x1ff) << 3)) & a20_mask;
316*e7f2670fSClaudio Fontana             pml4e_addr = get_hphys(cs, pml4e_addr, MMU_DATA_STORE, false);
317*e7f2670fSClaudio Fontana             pml4e = x86_ldq_phys(cs, pml4e_addr);
318*e7f2670fSClaudio Fontana             if (!(pml4e & PG_PRESENT_MASK)) {
319*e7f2670fSClaudio Fontana                 goto do_fault;
320*e7f2670fSClaudio Fontana             }
321*e7f2670fSClaudio Fontana             if (pml4e & (rsvd_mask | PG_PSE_MASK)) {
322*e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
323*e7f2670fSClaudio Fontana             }
324*e7f2670fSClaudio Fontana             if (!(pml4e & PG_ACCESSED_MASK)) {
325*e7f2670fSClaudio Fontana                 pml4e |= PG_ACCESSED_MASK;
326*e7f2670fSClaudio Fontana                 x86_stl_phys_notdirty(cs, pml4e_addr, pml4e);
327*e7f2670fSClaudio Fontana             }
328*e7f2670fSClaudio Fontana             ptep &= pml4e ^ PG_NX_MASK;
329*e7f2670fSClaudio Fontana             pdpe_addr = ((pml4e & PG_ADDRESS_MASK) + (((addr >> 30) & 0x1ff) << 3)) &
330*e7f2670fSClaudio Fontana                 a20_mask;
331*e7f2670fSClaudio Fontana             pdpe_addr = get_hphys(cs, pdpe_addr, MMU_DATA_STORE, NULL);
332*e7f2670fSClaudio Fontana             pdpe = x86_ldq_phys(cs, pdpe_addr);
333*e7f2670fSClaudio Fontana             if (!(pdpe & PG_PRESENT_MASK)) {
334*e7f2670fSClaudio Fontana                 goto do_fault;
335*e7f2670fSClaudio Fontana             }
336*e7f2670fSClaudio Fontana             if (pdpe & rsvd_mask) {
337*e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
338*e7f2670fSClaudio Fontana             }
339*e7f2670fSClaudio Fontana             ptep &= pdpe ^ PG_NX_MASK;
340*e7f2670fSClaudio Fontana             if (!(pdpe & PG_ACCESSED_MASK)) {
341*e7f2670fSClaudio Fontana                 pdpe |= PG_ACCESSED_MASK;
342*e7f2670fSClaudio Fontana                 x86_stl_phys_notdirty(cs, pdpe_addr, pdpe);
343*e7f2670fSClaudio Fontana             }
344*e7f2670fSClaudio Fontana             if (pdpe & PG_PSE_MASK) {
345*e7f2670fSClaudio Fontana                 /* 1 GB page */
346*e7f2670fSClaudio Fontana                 page_size = 1024 * 1024 * 1024;
347*e7f2670fSClaudio Fontana                 pte_addr = pdpe_addr;
348*e7f2670fSClaudio Fontana                 pte = pdpe;
349*e7f2670fSClaudio Fontana                 goto do_check_protect;
350*e7f2670fSClaudio Fontana             }
351*e7f2670fSClaudio Fontana         } else
352*e7f2670fSClaudio Fontana #endif
353*e7f2670fSClaudio Fontana         {
354*e7f2670fSClaudio Fontana             /* XXX: load them when cr3 is loaded ? */
355*e7f2670fSClaudio Fontana             pdpe_addr = ((env->cr[3] & ~0x1f) + ((addr >> 27) & 0x18)) &
356*e7f2670fSClaudio Fontana                 a20_mask;
357*e7f2670fSClaudio Fontana             pdpe_addr = get_hphys(cs, pdpe_addr, MMU_DATA_STORE, false);
358*e7f2670fSClaudio Fontana             pdpe = x86_ldq_phys(cs, pdpe_addr);
359*e7f2670fSClaudio Fontana             if (!(pdpe & PG_PRESENT_MASK)) {
360*e7f2670fSClaudio Fontana                 goto do_fault;
361*e7f2670fSClaudio Fontana             }
362*e7f2670fSClaudio Fontana             rsvd_mask |= PG_HI_USER_MASK;
363*e7f2670fSClaudio Fontana             if (pdpe & (rsvd_mask | PG_NX_MASK)) {
364*e7f2670fSClaudio Fontana                 goto do_fault_rsvd;
365*e7f2670fSClaudio Fontana             }
366*e7f2670fSClaudio Fontana             ptep = PG_NX_MASK | PG_USER_MASK | PG_RW_MASK;
367*e7f2670fSClaudio Fontana         }
368*e7f2670fSClaudio Fontana 
369*e7f2670fSClaudio Fontana         pde_addr = ((pdpe & PG_ADDRESS_MASK) + (((addr >> 21) & 0x1ff) << 3)) &
370*e7f2670fSClaudio Fontana             a20_mask;
371*e7f2670fSClaudio Fontana         pde_addr = get_hphys(cs, pde_addr, MMU_DATA_STORE, NULL);
372*e7f2670fSClaudio Fontana         pde = x86_ldq_phys(cs, pde_addr);
373*e7f2670fSClaudio Fontana         if (!(pde & PG_PRESENT_MASK)) {
374*e7f2670fSClaudio Fontana             goto do_fault;
375*e7f2670fSClaudio Fontana         }
376*e7f2670fSClaudio Fontana         if (pde & rsvd_mask) {
377*e7f2670fSClaudio Fontana             goto do_fault_rsvd;
378*e7f2670fSClaudio Fontana         }
379*e7f2670fSClaudio Fontana         ptep &= pde ^ PG_NX_MASK;
380*e7f2670fSClaudio Fontana         if (pde & PG_PSE_MASK) {
381*e7f2670fSClaudio Fontana             /* 2 MB page */
382*e7f2670fSClaudio Fontana             page_size = 2048 * 1024;
383*e7f2670fSClaudio Fontana             pte_addr = pde_addr;
384*e7f2670fSClaudio Fontana             pte = pde;
385*e7f2670fSClaudio Fontana             goto do_check_protect;
386*e7f2670fSClaudio Fontana         }
387*e7f2670fSClaudio Fontana         /* 4 KB page */
388*e7f2670fSClaudio Fontana         if (!(pde & PG_ACCESSED_MASK)) {
389*e7f2670fSClaudio Fontana             pde |= PG_ACCESSED_MASK;
390*e7f2670fSClaudio Fontana             x86_stl_phys_notdirty(cs, pde_addr, pde);
391*e7f2670fSClaudio Fontana         }
392*e7f2670fSClaudio Fontana         pte_addr = ((pde & PG_ADDRESS_MASK) + (((addr >> 12) & 0x1ff) << 3)) &
393*e7f2670fSClaudio Fontana             a20_mask;
394*e7f2670fSClaudio Fontana         pte_addr = get_hphys(cs, pte_addr, MMU_DATA_STORE, NULL);
395*e7f2670fSClaudio Fontana         pte = x86_ldq_phys(cs, pte_addr);
396*e7f2670fSClaudio Fontana         if (!(pte & PG_PRESENT_MASK)) {
397*e7f2670fSClaudio Fontana             goto do_fault;
398*e7f2670fSClaudio Fontana         }
399*e7f2670fSClaudio Fontana         if (pte & rsvd_mask) {
400*e7f2670fSClaudio Fontana             goto do_fault_rsvd;
401*e7f2670fSClaudio Fontana         }
402*e7f2670fSClaudio Fontana         /* combine pde and pte nx, user and rw protections */
403*e7f2670fSClaudio Fontana         ptep &= pte ^ PG_NX_MASK;
404*e7f2670fSClaudio Fontana         page_size = 4096;
405*e7f2670fSClaudio Fontana     } else {
406*e7f2670fSClaudio Fontana         uint32_t pde;
407*e7f2670fSClaudio Fontana 
408*e7f2670fSClaudio Fontana         /* page directory entry */
409*e7f2670fSClaudio Fontana         pde_addr = ((env->cr[3] & ~0xfff) + ((addr >> 20) & 0xffc)) &
410*e7f2670fSClaudio Fontana             a20_mask;
411*e7f2670fSClaudio Fontana         pde_addr = get_hphys(cs, pde_addr, MMU_DATA_STORE, NULL);
412*e7f2670fSClaudio Fontana         pde = x86_ldl_phys(cs, pde_addr);
413*e7f2670fSClaudio Fontana         if (!(pde & PG_PRESENT_MASK)) {
414*e7f2670fSClaudio Fontana             goto do_fault;
415*e7f2670fSClaudio Fontana         }
416*e7f2670fSClaudio Fontana         ptep = pde | PG_NX_MASK;
417*e7f2670fSClaudio Fontana 
418*e7f2670fSClaudio Fontana         /* if PSE bit is set, then we use a 4MB page */
419*e7f2670fSClaudio Fontana         if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) {
420*e7f2670fSClaudio Fontana             page_size = 4096 * 1024;
421*e7f2670fSClaudio Fontana             pte_addr = pde_addr;
422*e7f2670fSClaudio Fontana 
423*e7f2670fSClaudio Fontana             /* Bits 20-13 provide bits 39-32 of the address, bit 21 is reserved.
424*e7f2670fSClaudio Fontana              * Leave bits 20-13 in place for setting accessed/dirty bits below.
425*e7f2670fSClaudio Fontana              */
426*e7f2670fSClaudio Fontana             pte = pde | ((pde & 0x1fe000LL) << (32 - 13));
427*e7f2670fSClaudio Fontana             rsvd_mask = 0x200000;
428*e7f2670fSClaudio Fontana             goto do_check_protect_pse36;
429*e7f2670fSClaudio Fontana         }
430*e7f2670fSClaudio Fontana 
431*e7f2670fSClaudio Fontana         if (!(pde & PG_ACCESSED_MASK)) {
432*e7f2670fSClaudio Fontana             pde |= PG_ACCESSED_MASK;
433*e7f2670fSClaudio Fontana             x86_stl_phys_notdirty(cs, pde_addr, pde);
434*e7f2670fSClaudio Fontana         }
435*e7f2670fSClaudio Fontana 
436*e7f2670fSClaudio Fontana         /* page directory entry */
437*e7f2670fSClaudio Fontana         pte_addr = ((pde & ~0xfff) + ((addr >> 10) & 0xffc)) &
438*e7f2670fSClaudio Fontana             a20_mask;
439*e7f2670fSClaudio Fontana         pte_addr = get_hphys(cs, pte_addr, MMU_DATA_STORE, NULL);
440*e7f2670fSClaudio Fontana         pte = x86_ldl_phys(cs, pte_addr);
441*e7f2670fSClaudio Fontana         if (!(pte & PG_PRESENT_MASK)) {
442*e7f2670fSClaudio Fontana             goto do_fault;
443*e7f2670fSClaudio Fontana         }
444*e7f2670fSClaudio Fontana         /* combine pde and pte user and rw protections */
445*e7f2670fSClaudio Fontana         ptep &= pte | PG_NX_MASK;
446*e7f2670fSClaudio Fontana         page_size = 4096;
447*e7f2670fSClaudio Fontana         rsvd_mask = 0;
448*e7f2670fSClaudio Fontana     }
449*e7f2670fSClaudio Fontana 
450*e7f2670fSClaudio Fontana do_check_protect:
451*e7f2670fSClaudio Fontana     rsvd_mask |= (page_size - 1) & PG_ADDRESS_MASK & ~PG_PSE_PAT_MASK;
452*e7f2670fSClaudio Fontana do_check_protect_pse36:
453*e7f2670fSClaudio Fontana     if (pte & rsvd_mask) {
454*e7f2670fSClaudio Fontana         goto do_fault_rsvd;
455*e7f2670fSClaudio Fontana     }
456*e7f2670fSClaudio Fontana     ptep ^= PG_NX_MASK;
457*e7f2670fSClaudio Fontana 
458*e7f2670fSClaudio Fontana     /* can the page can be put in the TLB?  prot will tell us */
459*e7f2670fSClaudio Fontana     if (is_user && !(ptep & PG_USER_MASK)) {
460*e7f2670fSClaudio Fontana         goto do_fault_protect;
461*e7f2670fSClaudio Fontana     }
462*e7f2670fSClaudio Fontana 
463*e7f2670fSClaudio Fontana     prot = 0;
464*e7f2670fSClaudio Fontana     if (mmu_idx != MMU_KSMAP_IDX || !(ptep & PG_USER_MASK)) {
465*e7f2670fSClaudio Fontana         prot |= PAGE_READ;
466*e7f2670fSClaudio Fontana         if ((ptep & PG_RW_MASK) || (!is_user && !(env->cr[0] & CR0_WP_MASK))) {
467*e7f2670fSClaudio Fontana             prot |= PAGE_WRITE;
468*e7f2670fSClaudio Fontana         }
469*e7f2670fSClaudio Fontana     }
470*e7f2670fSClaudio Fontana     if (!(ptep & PG_NX_MASK) &&
471*e7f2670fSClaudio Fontana         (mmu_idx == MMU_USER_IDX ||
472*e7f2670fSClaudio Fontana          !((env->cr[4] & CR4_SMEP_MASK) && (ptep & PG_USER_MASK)))) {
473*e7f2670fSClaudio Fontana         prot |= PAGE_EXEC;
474*e7f2670fSClaudio Fontana     }
475*e7f2670fSClaudio Fontana 
476*e7f2670fSClaudio Fontana     if (!(env->hflags & HF_LMA_MASK)) {
477*e7f2670fSClaudio Fontana         pkr = 0;
478*e7f2670fSClaudio Fontana     } else if (ptep & PG_USER_MASK) {
479*e7f2670fSClaudio Fontana         pkr = env->cr[4] & CR4_PKE_MASK ? env->pkru : 0;
480*e7f2670fSClaudio Fontana     } else {
481*e7f2670fSClaudio Fontana         pkr = env->cr[4] & CR4_PKS_MASK ? env->pkrs : 0;
482*e7f2670fSClaudio Fontana     }
483*e7f2670fSClaudio Fontana     if (pkr) {
484*e7f2670fSClaudio Fontana         uint32_t pk = (pte & PG_PKRU_MASK) >> PG_PKRU_BIT;
485*e7f2670fSClaudio Fontana         uint32_t pkr_ad = (pkr >> pk * 2) & 1;
486*e7f2670fSClaudio Fontana         uint32_t pkr_wd = (pkr >> pk * 2) & 2;
487*e7f2670fSClaudio Fontana         uint32_t pkr_prot = PAGE_READ | PAGE_WRITE | PAGE_EXEC;
488*e7f2670fSClaudio Fontana 
489*e7f2670fSClaudio Fontana         if (pkr_ad) {
490*e7f2670fSClaudio Fontana             pkr_prot &= ~(PAGE_READ | PAGE_WRITE);
491*e7f2670fSClaudio Fontana         } else if (pkr_wd && (is_user || env->cr[0] & CR0_WP_MASK)) {
492*e7f2670fSClaudio Fontana             pkr_prot &= ~PAGE_WRITE;
493*e7f2670fSClaudio Fontana         }
494*e7f2670fSClaudio Fontana 
495*e7f2670fSClaudio Fontana         prot &= pkr_prot;
496*e7f2670fSClaudio Fontana         if ((pkr_prot & (1 << is_write1)) == 0) {
497*e7f2670fSClaudio Fontana             assert(is_write1 != 2);
498*e7f2670fSClaudio Fontana             error_code |= PG_ERROR_PK_MASK;
499*e7f2670fSClaudio Fontana             goto do_fault_protect;
500*e7f2670fSClaudio Fontana         }
501*e7f2670fSClaudio Fontana     }
502*e7f2670fSClaudio Fontana 
503*e7f2670fSClaudio Fontana     if ((prot & (1 << is_write1)) == 0) {
504*e7f2670fSClaudio Fontana         goto do_fault_protect;
505*e7f2670fSClaudio Fontana     }
506*e7f2670fSClaudio Fontana 
507*e7f2670fSClaudio Fontana     /* yes, it can! */
508*e7f2670fSClaudio Fontana     is_dirty = is_write && !(pte & PG_DIRTY_MASK);
509*e7f2670fSClaudio Fontana     if (!(pte & PG_ACCESSED_MASK) || is_dirty) {
510*e7f2670fSClaudio Fontana         pte |= PG_ACCESSED_MASK;
511*e7f2670fSClaudio Fontana         if (is_dirty) {
512*e7f2670fSClaudio Fontana             pte |= PG_DIRTY_MASK;
513*e7f2670fSClaudio Fontana         }
514*e7f2670fSClaudio Fontana         x86_stl_phys_notdirty(cs, pte_addr, pte);
515*e7f2670fSClaudio Fontana     }
516*e7f2670fSClaudio Fontana 
517*e7f2670fSClaudio Fontana     if (!(pte & PG_DIRTY_MASK)) {
518*e7f2670fSClaudio Fontana         /* only set write access if already dirty... otherwise wait
519*e7f2670fSClaudio Fontana            for dirty access */
520*e7f2670fSClaudio Fontana         assert(!is_write);
521*e7f2670fSClaudio Fontana         prot &= ~PAGE_WRITE;
522*e7f2670fSClaudio Fontana     }
523*e7f2670fSClaudio Fontana 
524*e7f2670fSClaudio Fontana  do_mapping:
525*e7f2670fSClaudio Fontana     pte = pte & a20_mask;
526*e7f2670fSClaudio Fontana 
527*e7f2670fSClaudio Fontana     /* align to page_size */
528*e7f2670fSClaudio Fontana     pte &= PG_ADDRESS_MASK & ~(page_size - 1);
529*e7f2670fSClaudio Fontana     page_offset = addr & (page_size - 1);
530*e7f2670fSClaudio Fontana     paddr = get_hphys(cs, pte + page_offset, is_write1, &prot);
531*e7f2670fSClaudio Fontana 
532*e7f2670fSClaudio Fontana     /* Even if 4MB pages, we map only one 4KB page in the cache to
533*e7f2670fSClaudio Fontana        avoid filling it too fast */
534*e7f2670fSClaudio Fontana     vaddr = addr & TARGET_PAGE_MASK;
535*e7f2670fSClaudio Fontana     paddr &= TARGET_PAGE_MASK;
536*e7f2670fSClaudio Fontana 
537*e7f2670fSClaudio Fontana     assert(prot & (1 << is_write1));
538*e7f2670fSClaudio Fontana     tlb_set_page_with_attrs(cs, vaddr, paddr, cpu_get_mem_attrs(env),
539*e7f2670fSClaudio Fontana                             prot, mmu_idx, page_size);
540*e7f2670fSClaudio Fontana     return 0;
541*e7f2670fSClaudio Fontana  do_fault_rsvd:
542*e7f2670fSClaudio Fontana     error_code |= PG_ERROR_RSVD_MASK;
543*e7f2670fSClaudio Fontana  do_fault_protect:
544*e7f2670fSClaudio Fontana     error_code |= PG_ERROR_P_MASK;
545*e7f2670fSClaudio Fontana  do_fault:
546*e7f2670fSClaudio Fontana     error_code |= (is_write << PG_ERROR_W_BIT);
547*e7f2670fSClaudio Fontana     if (is_user)
548*e7f2670fSClaudio Fontana         error_code |= PG_ERROR_U_MASK;
549*e7f2670fSClaudio Fontana     if (is_write1 == 2 &&
550*e7f2670fSClaudio Fontana         (((env->efer & MSR_EFER_NXE) &&
551*e7f2670fSClaudio Fontana           (env->cr[4] & CR4_PAE_MASK)) ||
552*e7f2670fSClaudio Fontana          (env->cr[4] & CR4_SMEP_MASK)))
553*e7f2670fSClaudio Fontana         error_code |= PG_ERROR_I_D_MASK;
554*e7f2670fSClaudio Fontana     if (env->intercept_exceptions & (1 << EXCP0E_PAGE)) {
555*e7f2670fSClaudio Fontana         /* cr2 is not modified in case of exceptions */
556*e7f2670fSClaudio Fontana         x86_stq_phys(cs,
557*e7f2670fSClaudio Fontana                  env->vm_vmcb + offsetof(struct vmcb, control.exit_info_2),
558*e7f2670fSClaudio Fontana                  addr);
559*e7f2670fSClaudio Fontana     } else {
560*e7f2670fSClaudio Fontana         env->cr[2] = addr;
561*e7f2670fSClaudio Fontana     }
562*e7f2670fSClaudio Fontana     env->error_code = error_code;
563*e7f2670fSClaudio Fontana     cs->exception_index = EXCP0E_PAGE;
564*e7f2670fSClaudio Fontana     return 1;
565*e7f2670fSClaudio Fontana }
566*e7f2670fSClaudio Fontana 
567*e7f2670fSClaudio Fontana bool x86_cpu_tlb_fill(CPUState *cs, vaddr addr, int size,
568*e7f2670fSClaudio Fontana                       MMUAccessType access_type, int mmu_idx,
569*e7f2670fSClaudio Fontana                       bool probe, uintptr_t retaddr)
570*e7f2670fSClaudio Fontana {
571*e7f2670fSClaudio Fontana     X86CPU *cpu = X86_CPU(cs);
572*e7f2670fSClaudio Fontana     CPUX86State *env = &cpu->env;
573*e7f2670fSClaudio Fontana 
574*e7f2670fSClaudio Fontana     env->retaddr = retaddr;
575*e7f2670fSClaudio Fontana     if (handle_mmu_fault(cs, addr, size, access_type, mmu_idx)) {
576*e7f2670fSClaudio Fontana         /* FIXME: On error in get_hphys we have already jumped out.  */
577*e7f2670fSClaudio Fontana         g_assert(!probe);
578*e7f2670fSClaudio Fontana         raise_exception_err_ra(env, cs->exception_index,
579*e7f2670fSClaudio Fontana                                env->error_code, retaddr);
580*e7f2670fSClaudio Fontana     }
581*e7f2670fSClaudio Fontana     return true;
582*e7f2670fSClaudio Fontana }
583