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