4 * Copyright Fujitsu, Corp. 2011, 2012
9 * This work is licensed under the terms of the GNU GPL, version 2 or later.
10 * See the COPYING file in the top-level directory.
15 #include "exec/cpu-all.h"
16 #include "sysemu/memory_mapping.h"
18 /* PAE Paging or IA-32e Paging */
19 static void walk_pte(MemoryMappingList *list, hwaddr pte_start_addr,
20 int32_t a20_mask, target_ulong start_line_addr)
22 hwaddr pte_addr, start_paddr;
24 target_ulong start_vaddr;
27 for (i = 0; i < 512; i++) {
28 pte_addr = (pte_start_addr + i * 8) & a20_mask;
29 pte = ldq_phys(pte_addr);
30 if (!(pte & PG_PRESENT_MASK)) {
35 start_paddr = (pte & ~0xfff) & ~(0x1ULL << 63);
36 if (cpu_physical_memory_is_io(start_paddr)) {
41 start_vaddr = start_line_addr | ((i & 0x1ff) << 12);
42 memory_mapping_list_add_merge_sorted(list, start_paddr,
43 start_vaddr, 1 << 12);
48 static void walk_pte2(MemoryMappingList *list,
49 hwaddr pte_start_addr, int32_t a20_mask,
50 target_ulong start_line_addr)
52 hwaddr pte_addr, start_paddr;
54 target_ulong start_vaddr;
57 for (i = 0; i < 1024; i++) {
58 pte_addr = (pte_start_addr + i * 4) & a20_mask;
59 pte = ldl_phys(pte_addr);
60 if (!(pte & PG_PRESENT_MASK)) {
65 start_paddr = pte & ~0xfff;
66 if (cpu_physical_memory_is_io(start_paddr)) {
71 start_vaddr = start_line_addr | ((i & 0x3ff) << 12);
72 memory_mapping_list_add_merge_sorted(list, start_paddr,
73 start_vaddr, 1 << 12);
77 /* PAE Paging or IA-32e Paging */
78 #define PLM4_ADDR_MASK 0xffffffffff000ULL /* selects bits 51:12 */
80 static void walk_pde(MemoryMappingList *list, hwaddr pde_start_addr,
81 int32_t a20_mask, target_ulong start_line_addr)
83 hwaddr pde_addr, pte_start_addr, start_paddr;
85 target_ulong line_addr, start_vaddr;
88 for (i = 0; i < 512; i++) {
89 pde_addr = (pde_start_addr + i * 8) & a20_mask;
90 pde = ldq_phys(pde_addr);
91 if (!(pde & PG_PRESENT_MASK)) {
96 line_addr = start_line_addr | ((i & 0x1ff) << 21);
97 if (pde & PG_PSE_MASK) {
99 start_paddr = (pde & ~0x1fffff) & ~(0x1ULL << 63);
100 if (cpu_physical_memory_is_io(start_paddr)) {
104 start_vaddr = line_addr;
105 memory_mapping_list_add_merge_sorted(list, start_paddr,
106 start_vaddr, 1 << 21);
110 pte_start_addr = (pde & PLM4_ADDR_MASK) & a20_mask;
111 walk_pte(list, pte_start_addr, a20_mask, line_addr);
116 static void walk_pde2(MemoryMappingList *list,
117 hwaddr pde_start_addr, int32_t a20_mask,
120 hwaddr pde_addr, pte_start_addr, start_paddr, high_paddr;
122 target_ulong line_addr, start_vaddr;
125 for (i = 0; i < 1024; i++) {
126 pde_addr = (pde_start_addr + i * 4) & a20_mask;
127 pde = ldl_phys(pde_addr);
128 if (!(pde & PG_PRESENT_MASK)) {
133 line_addr = (((unsigned int)i & 0x3ff) << 22);
134 if ((pde & PG_PSE_MASK) && pse) {
137 * bits 39:32 are bits 20:13 of the PDE
138 * bit3 31:22 are bits 31:22 of the PDE
140 high_paddr = ((hwaddr)(pde & 0x1fe000) << 19);
141 start_paddr = (pde & ~0x3fffff) | high_paddr;
142 if (cpu_physical_memory_is_io(start_paddr)) {
146 start_vaddr = line_addr;
147 memory_mapping_list_add_merge_sorted(list, start_paddr,
148 start_vaddr, 1 << 22);
152 pte_start_addr = (pde & ~0xfff) & a20_mask;
153 walk_pte2(list, pte_start_addr, a20_mask, line_addr);
158 static void walk_pdpe2(MemoryMappingList *list,
159 hwaddr pdpe_start_addr, int32_t a20_mask)
161 hwaddr pdpe_addr, pde_start_addr;
163 target_ulong line_addr;
166 for (i = 0; i < 4; i++) {
167 pdpe_addr = (pdpe_start_addr + i * 8) & a20_mask;
168 pdpe = ldq_phys(pdpe_addr);
169 if (!(pdpe & PG_PRESENT_MASK)) {
174 line_addr = (((unsigned int)i & 0x3) << 30);
175 pde_start_addr = (pdpe & ~0xfff) & a20_mask;
176 walk_pde(list, pde_start_addr, a20_mask, line_addr);
182 static void walk_pdpe(MemoryMappingList *list,
183 hwaddr pdpe_start_addr, int32_t a20_mask,
184 target_ulong start_line_addr)
186 hwaddr pdpe_addr, pde_start_addr, start_paddr;
188 target_ulong line_addr, start_vaddr;
191 for (i = 0; i < 512; i++) {
192 pdpe_addr = (pdpe_start_addr + i * 8) & a20_mask;
193 pdpe = ldq_phys(pdpe_addr);
194 if (!(pdpe & PG_PRESENT_MASK)) {
199 line_addr = start_line_addr | ((i & 0x1ffULL) << 30);
200 if (pdpe & PG_PSE_MASK) {
202 start_paddr = (pdpe & ~0x3fffffff) & ~(0x1ULL << 63);
203 if (cpu_physical_memory_is_io(start_paddr)) {
207 start_vaddr = line_addr;
208 memory_mapping_list_add_merge_sorted(list, start_paddr,
209 start_vaddr, 1 << 30);
213 pde_start_addr = (pdpe & PLM4_ADDR_MASK) & a20_mask;
214 walk_pde(list, pde_start_addr, a20_mask, line_addr);
219 static void walk_pml4e(MemoryMappingList *list,
220 hwaddr pml4e_start_addr, int32_t a20_mask)
222 hwaddr pml4e_addr, pdpe_start_addr;
224 target_ulong line_addr;
227 for (i = 0; i < 512; i++) {
228 pml4e_addr = (pml4e_start_addr + i * 8) & a20_mask;
229 pml4e = ldq_phys(pml4e_addr);
230 if (!(pml4e & PG_PRESENT_MASK)) {
235 line_addr = ((i & 0x1ffULL) << 39) | (0xffffULL << 48);
236 pdpe_start_addr = (pml4e & PLM4_ADDR_MASK) & a20_mask;
237 walk_pdpe(list, pdpe_start_addr, a20_mask, line_addr);
242 void x86_cpu_get_memory_mapping(CPUState *cs, MemoryMappingList *list,
245 X86CPU *cpu = X86_CPU(cs);
246 CPUX86State *env = &cpu->env;
248 if (!cpu_paging_enabled(cs)) {
249 /* paging is disabled */
253 if (env->cr[4] & CR4_PAE_MASK) {
255 if (env->hflags & HF_LMA_MASK) {
258 pml4e_addr = (env->cr[3] & PLM4_ADDR_MASK) & env->a20_mask;
259 walk_pml4e(list, pml4e_addr, env->a20_mask);
265 pdpe_addr = (env->cr[3] & ~0x1f) & env->a20_mask;
266 walk_pdpe2(list, pdpe_addr, env->a20_mask);
272 pde_addr = (env->cr[3] & ~0xfff) & env->a20_mask;
273 pse = !!(env->cr[4] & CR4_PSE_MASK);
274 walk_pde2(list, pde_addr, env->a20_mask, pse);