xref: /qemu/target/sparc/helper.c (revision 878d3096d20c3b77f5aaa25460d470bc7d8da15b)
1e8af50a3Sbellard /*
2e8af50a3Sbellard  *  sparc helpers
3e8af50a3Sbellard  *
4e8af50a3Sbellard  *  Copyright (c) 2003 Fabrice Bellard
5e8af50a3Sbellard  *
6e8af50a3Sbellard  * This library is free software; you can redistribute it and/or
7e8af50a3Sbellard  * modify it under the terms of the GNU Lesser General Public
8e8af50a3Sbellard  * License as published by the Free Software Foundation; either
9e8af50a3Sbellard  * version 2 of the License, or (at your option) any later version.
10e8af50a3Sbellard  *
11e8af50a3Sbellard  * This library is distributed in the hope that it will be useful,
12e8af50a3Sbellard  * but WITHOUT ANY WARRANTY; without even the implied warranty of
13e8af50a3Sbellard  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
14e8af50a3Sbellard  * Lesser General Public License for more details.
15e8af50a3Sbellard  *
16e8af50a3Sbellard  * You should have received a copy of the GNU Lesser General Public
17e8af50a3Sbellard  * License along with this library; if not, write to the Free Software
18e8af50a3Sbellard  * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
19e8af50a3Sbellard  */
20e8af50a3Sbellard #include "exec.h"
21e8af50a3Sbellard 
22e80cfcfcSbellard //#define DEBUG_PCALL
23e80cfcfcSbellard //#define DEBUG_MMU
24e8af50a3Sbellard 
25e8af50a3Sbellard /* Sparc MMU emulation */
26e8af50a3Sbellard 
27e8af50a3Sbellard /* thread support */
28e8af50a3Sbellard 
29e8af50a3Sbellard spinlock_t global_cpu_lock = SPIN_LOCK_UNLOCKED;
30e8af50a3Sbellard 
31e8af50a3Sbellard void cpu_lock(void)
32e8af50a3Sbellard {
33e8af50a3Sbellard     spin_lock(&global_cpu_lock);
34e8af50a3Sbellard }
35e8af50a3Sbellard 
36e8af50a3Sbellard void cpu_unlock(void)
37e8af50a3Sbellard {
38e8af50a3Sbellard     spin_unlock(&global_cpu_lock);
39e8af50a3Sbellard }
40e8af50a3Sbellard 
419d893301Sbellard #if defined(CONFIG_USER_ONLY)
429d893301Sbellard 
439d893301Sbellard int cpu_sparc_handle_mmu_fault(CPUState *env, target_ulong address, int rw,
449d893301Sbellard                                int is_user, int is_softmmu)
459d893301Sbellard {
469d893301Sbellard     env->mmuregs[4] = address;
47878d3096Sbellard     if (rw & 2)
48878d3096Sbellard         env->exception_index = TT_TFAULT;
49878d3096Sbellard     else
50878d3096Sbellard         env->exception_index = TT_DFAULT;
519d893301Sbellard     return 1;
529d893301Sbellard }
539d893301Sbellard 
549d893301Sbellard #else
55e8af50a3Sbellard 
56e8af50a3Sbellard #define MMUSUFFIX _mmu
57e8af50a3Sbellard #define GETPC() (__builtin_return_address(0))
58e8af50a3Sbellard 
59e8af50a3Sbellard #define SHIFT 0
60e8af50a3Sbellard #include "softmmu_template.h"
61e8af50a3Sbellard 
62e8af50a3Sbellard #define SHIFT 1
63e8af50a3Sbellard #include "softmmu_template.h"
64e8af50a3Sbellard 
65e8af50a3Sbellard #define SHIFT 2
66e8af50a3Sbellard #include "softmmu_template.h"
67e8af50a3Sbellard 
68e8af50a3Sbellard #define SHIFT 3
69e8af50a3Sbellard #include "softmmu_template.h"
70e8af50a3Sbellard 
71e8af50a3Sbellard 
72e8af50a3Sbellard /* try to fill the TLB and return an exception if error. If retaddr is
73e8af50a3Sbellard    NULL, it means that the function was called in C code (i.e. not
74e8af50a3Sbellard    from generated code or from helper.c) */
75e8af50a3Sbellard /* XXX: fix it to restore all registers */
760fa85d43Sbellard void tlb_fill(target_ulong addr, int is_write, int is_user, void *retaddr)
77e8af50a3Sbellard {
78e8af50a3Sbellard     TranslationBlock *tb;
79e8af50a3Sbellard     int ret;
80e8af50a3Sbellard     unsigned long pc;
81e8af50a3Sbellard     CPUState *saved_env;
82e8af50a3Sbellard 
83e8af50a3Sbellard     /* XXX: hack to restore env in all cases, even if not called from
84e8af50a3Sbellard        generated code */
85e8af50a3Sbellard     saved_env = env;
86e8af50a3Sbellard     env = cpu_single_env;
87e8af50a3Sbellard 
88e8af50a3Sbellard     ret = cpu_sparc_handle_mmu_fault(env, addr, is_write, is_user, 1);
89e8af50a3Sbellard     if (ret) {
90e8af50a3Sbellard         if (retaddr) {
91e8af50a3Sbellard             /* now we have a real cpu fault */
92e8af50a3Sbellard             pc = (unsigned long)retaddr;
93e8af50a3Sbellard             tb = tb_find_pc(pc);
94e8af50a3Sbellard             if (tb) {
95e8af50a3Sbellard                 /* the PC is inside the translated code. It means that we have
96e8af50a3Sbellard                    a virtual CPU fault */
97e8af50a3Sbellard                 cpu_restore_state(tb, env, pc, NULL);
98e8af50a3Sbellard             }
99e8af50a3Sbellard         }
100878d3096Sbellard         cpu_loop_exit();
101e8af50a3Sbellard     }
102e8af50a3Sbellard     env = saved_env;
103e8af50a3Sbellard }
104e8af50a3Sbellard 
105e8af50a3Sbellard static const int access_table[8][8] = {
106e8af50a3Sbellard     { 0, 0, 0, 0, 2, 0, 3, 3 },
107e8af50a3Sbellard     { 0, 0, 0, 0, 2, 0, 0, 0 },
108e8af50a3Sbellard     { 2, 2, 0, 0, 0, 2, 3, 3 },
109e8af50a3Sbellard     { 2, 2, 0, 0, 0, 2, 0, 0 },
110e8af50a3Sbellard     { 2, 0, 2, 0, 2, 2, 3, 3 },
111e8af50a3Sbellard     { 2, 0, 2, 0, 2, 0, 2, 0 },
112e8af50a3Sbellard     { 2, 2, 2, 0, 2, 2, 3, 3 },
113e8af50a3Sbellard     { 2, 2, 2, 0, 2, 2, 2, 0 }
114e8af50a3Sbellard };
115e8af50a3Sbellard 
116e8af50a3Sbellard /* 1 = write OK */
117e8af50a3Sbellard static const int rw_table[2][8] = {
118e8af50a3Sbellard     { 0, 1, 0, 1, 0, 1, 0, 1 },
119e8af50a3Sbellard     { 0, 1, 0, 1, 0, 0, 0, 0 }
120e8af50a3Sbellard };
121e8af50a3Sbellard 
122af7bf89bSbellard int get_physical_address (CPUState *env, target_phys_addr_t *physical, int *prot,
123af7bf89bSbellard 			  int *access_index, target_ulong address, int rw,
124e80cfcfcSbellard 			  int is_user)
125e8af50a3Sbellard {
126e80cfcfcSbellard     int access_perms = 0;
127e80cfcfcSbellard     target_phys_addr_t pde_ptr;
128af7bf89bSbellard     uint32_t pde;
129af7bf89bSbellard     target_ulong virt_addr;
130e80cfcfcSbellard     int error_code = 0, is_dirty;
131e80cfcfcSbellard     unsigned long page_offset;
132e8af50a3Sbellard 
133e8af50a3Sbellard     virt_addr = address & TARGET_PAGE_MASK;
134e8af50a3Sbellard     if ((env->mmuregs[0] & MMU_E) == 0) { /* MMU disabled */
135e80cfcfcSbellard 	*physical = address;
136e80cfcfcSbellard         *prot = PAGE_READ | PAGE_WRITE;
137e80cfcfcSbellard         return 0;
138e8af50a3Sbellard     }
139e8af50a3Sbellard 
140e8af50a3Sbellard     /* SPARC reference MMU table walk: Context table->L1->L2->PTE */
141e8af50a3Sbellard     /* Context base + context number */
142e80cfcfcSbellard     pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 4);
14349be8030Sbellard     pde = ldl_phys(pde_ptr);
144e8af50a3Sbellard 
145e8af50a3Sbellard     /* Ctx pde */
146e8af50a3Sbellard     switch (pde & PTE_ENTRYTYPE_MASK) {
147e80cfcfcSbellard     default:
148e8af50a3Sbellard     case 0: /* Invalid */
149e80cfcfcSbellard 	return 1;
150e80cfcfcSbellard     case 2: /* L0 PTE, maybe should not happen? */
151e8af50a3Sbellard     case 3: /* Reserved */
152e80cfcfcSbellard         return 4;
153e80cfcfcSbellard     case 1: /* L0 PDE */
154e80cfcfcSbellard 	pde_ptr = ((address >> 22) & ~3) + ((pde & ~3) << 4);
15549be8030Sbellard         pde = ldl_phys(pde_ptr);
156e80cfcfcSbellard 
157e80cfcfcSbellard 	switch (pde & PTE_ENTRYTYPE_MASK) {
158e80cfcfcSbellard 	default:
159e80cfcfcSbellard 	case 0: /* Invalid */
160e80cfcfcSbellard 	    return 1;
161e80cfcfcSbellard 	case 3: /* Reserved */
162e80cfcfcSbellard 	    return 4;
163e8af50a3Sbellard 	case 1: /* L1 PDE */
164e80cfcfcSbellard 	    pde_ptr = ((address & 0xfc0000) >> 16) + ((pde & ~3) << 4);
16549be8030Sbellard             pde = ldl_phys(pde_ptr);
166e8af50a3Sbellard 
167e8af50a3Sbellard 	    switch (pde & PTE_ENTRYTYPE_MASK) {
168e80cfcfcSbellard 	    default:
169e8af50a3Sbellard 	    case 0: /* Invalid */
170e80cfcfcSbellard 		return 1;
171e8af50a3Sbellard 	    case 3: /* Reserved */
172e80cfcfcSbellard 		return 4;
173e8af50a3Sbellard 	    case 1: /* L2 PDE */
174e80cfcfcSbellard 		pde_ptr = ((address & 0x3f000) >> 10) + ((pde & ~3) << 4);
17549be8030Sbellard                 pde = ldl_phys(pde_ptr);
176e8af50a3Sbellard 
177e8af50a3Sbellard 		switch (pde & PTE_ENTRYTYPE_MASK) {
178e80cfcfcSbellard 		default:
179e8af50a3Sbellard 		case 0: /* Invalid */
180e80cfcfcSbellard 		    return 1;
181e8af50a3Sbellard 		case 1: /* PDE, should not happen */
182e8af50a3Sbellard 		case 3: /* Reserved */
183e80cfcfcSbellard 		    return 4;
184e8af50a3Sbellard 		case 2: /* L3 PTE */
185e8af50a3Sbellard 		    virt_addr = address & TARGET_PAGE_MASK;
186e8af50a3Sbellard 		    page_offset = (address & TARGET_PAGE_MASK) & (TARGET_PAGE_SIZE - 1);
187e8af50a3Sbellard 		}
188e8af50a3Sbellard 		break;
189e8af50a3Sbellard 	    case 2: /* L2 PTE */
190e8af50a3Sbellard 		virt_addr = address & ~0x3ffff;
191e8af50a3Sbellard 		page_offset = address & 0x3ffff;
192e8af50a3Sbellard 	    }
193e8af50a3Sbellard 	    break;
194e8af50a3Sbellard 	case 2: /* L1 PTE */
195e8af50a3Sbellard 	    virt_addr = address & ~0xffffff;
196e8af50a3Sbellard 	    page_offset = address & 0xffffff;
197e8af50a3Sbellard 	}
198e8af50a3Sbellard     }
199e8af50a3Sbellard 
200e8af50a3Sbellard     /* update page modified and dirty bits */
201b769d8feSbellard     is_dirty = (rw & 1) && !(pde & PG_MODIFIED_MASK);
202e8af50a3Sbellard     if (!(pde & PG_ACCESSED_MASK) || is_dirty) {
203e8af50a3Sbellard 	pde |= PG_ACCESSED_MASK;
204e8af50a3Sbellard 	if (is_dirty)
205e8af50a3Sbellard 	    pde |= PG_MODIFIED_MASK;
20649be8030Sbellard         stl_phys_notdirty(pde_ptr, pde);
207e8af50a3Sbellard     }
208e8af50a3Sbellard     /* check access */
209e80cfcfcSbellard     *access_index = ((rw & 1) << 2) | (rw & 2) | (is_user? 0 : 1);
210e8af50a3Sbellard     access_perms = (pde & PTE_ACCESS_MASK) >> PTE_ACCESS_SHIFT;
211e80cfcfcSbellard     error_code = access_table[*access_index][access_perms];
212e8af50a3Sbellard     if (error_code)
213e80cfcfcSbellard 	return error_code;
214e8af50a3Sbellard 
215e8af50a3Sbellard     /* the page can be put in the TLB */
216e80cfcfcSbellard     *prot = PAGE_READ;
217e8af50a3Sbellard     if (pde & PG_MODIFIED_MASK) {
218e8af50a3Sbellard         /* only set write access if already dirty... otherwise wait
219e8af50a3Sbellard            for dirty access */
220e8af50a3Sbellard 	if (rw_table[is_user][access_perms])
221e80cfcfcSbellard 	        *prot |= PAGE_WRITE;
222e8af50a3Sbellard     }
223e8af50a3Sbellard 
224e8af50a3Sbellard     /* Even if large ptes, we map only one 4KB page in the cache to
225e8af50a3Sbellard        avoid filling it too fast */
226e80cfcfcSbellard     *physical = ((pde & PTE_ADDR_MASK) << 4) + page_offset;
227e80cfcfcSbellard     return 0;
228e80cfcfcSbellard }
229e80cfcfcSbellard 
230e80cfcfcSbellard /* Perform address translation */
231af7bf89bSbellard int cpu_sparc_handle_mmu_fault (CPUState *env, target_ulong address, int rw,
232e80cfcfcSbellard                               int is_user, int is_softmmu)
233e80cfcfcSbellard {
234af7bf89bSbellard     target_ulong virt_addr;
235af7bf89bSbellard     target_phys_addr_t paddr;
236e80cfcfcSbellard     unsigned long vaddr;
237e80cfcfcSbellard     int error_code = 0, prot, ret = 0, access_index;
238e80cfcfcSbellard 
239e80cfcfcSbellard     error_code = get_physical_address(env, &paddr, &prot, &access_index, address, rw, is_user);
240e80cfcfcSbellard     if (error_code == 0) {
241e8af50a3Sbellard 	virt_addr = address & TARGET_PAGE_MASK;
242e8af50a3Sbellard 	vaddr = virt_addr + ((address & TARGET_PAGE_MASK) & (TARGET_PAGE_SIZE - 1));
243e8af50a3Sbellard 	ret = tlb_set_page(env, vaddr, paddr, prot, is_user, is_softmmu);
244e8af50a3Sbellard 	return ret;
245e80cfcfcSbellard     }
246e8af50a3Sbellard 
247e8af50a3Sbellard     if (env->mmuregs[3]) /* Fault status register */
248e8af50a3Sbellard 	env->mmuregs[3] = 1; /* overflow (not read before another fault) */
249e8af50a3Sbellard     env->mmuregs[3] |= (access_index << 5) | (error_code << 2) | 2;
250e8af50a3Sbellard     env->mmuregs[4] = address; /* Fault address register */
251e8af50a3Sbellard 
252878d3096Sbellard     if ((env->mmuregs[0] & MMU_NF) || env->psret == 0)  {
253878d3096Sbellard         // No fault
254878d3096Sbellard 	cpu_abort(env, "Unsupported MMU no fault case");
255878d3096Sbellard     }
256878d3096Sbellard     if (rw & 2)
257878d3096Sbellard         env->exception_index = TT_TFAULT;
258878d3096Sbellard     else
259878d3096Sbellard         env->exception_index = TT_DFAULT;
260878d3096Sbellard     return 1;
261e8af50a3Sbellard }
2629d893301Sbellard #endif
263e8af50a3Sbellard 
264af7bf89bSbellard void memcpy32(target_ulong *dst, const target_ulong *src)
265e8af50a3Sbellard {
266e8af50a3Sbellard     dst[0] = src[0];
267e8af50a3Sbellard     dst[1] = src[1];
268e8af50a3Sbellard     dst[2] = src[2];
269e8af50a3Sbellard     dst[3] = src[3];
270e8af50a3Sbellard     dst[4] = src[4];
271e8af50a3Sbellard     dst[5] = src[5];
272e8af50a3Sbellard     dst[6] = src[6];
273e8af50a3Sbellard     dst[7] = src[7];
274e8af50a3Sbellard }
275e8af50a3Sbellard 
276e8af50a3Sbellard void set_cwp(int new_cwp)
277e8af50a3Sbellard {
278e8af50a3Sbellard     /* put the modified wrap registers at their proper location */
279e8af50a3Sbellard     if (env->cwp == (NWINDOWS - 1))
280e8af50a3Sbellard         memcpy32(env->regbase, env->regbase + NWINDOWS * 16);
281e8af50a3Sbellard     env->cwp = new_cwp;
282e8af50a3Sbellard     /* put the wrap registers at their temporary location */
283e8af50a3Sbellard     if (new_cwp == (NWINDOWS - 1))
284e8af50a3Sbellard         memcpy32(env->regbase + NWINDOWS * 16, env->regbase);
285e8af50a3Sbellard     env->regwptr = env->regbase + (new_cwp * 16);
286e8af50a3Sbellard }
287e8af50a3Sbellard 
2880fa85d43Sbellard void cpu_set_cwp(CPUState *env1, int new_cwp)
2890fa85d43Sbellard {
2900fa85d43Sbellard     CPUState *saved_env;
2910fa85d43Sbellard     saved_env = env;
2920fa85d43Sbellard     env = env1;
2930fa85d43Sbellard     set_cwp(new_cwp);
2940fa85d43Sbellard     env = saved_env;
2950fa85d43Sbellard }
2960fa85d43Sbellard 
297878d3096Sbellard void do_interrupt(int intno)
298e8af50a3Sbellard {
299e8af50a3Sbellard     int cwp;
300e8af50a3Sbellard 
301e8af50a3Sbellard #ifdef DEBUG_PCALL
302e8af50a3Sbellard     if (loglevel & CPU_LOG_INT) {
303e8af50a3Sbellard 	static int count;
304878d3096Sbellard 	fprintf(logfile, "%6d: v=%02x pc=%08x npc=%08x SP=%08x\n",
305878d3096Sbellard                 count, intno,
306e8af50a3Sbellard                 env->pc,
3078d5f07faSbellard                 env->npc, env->regwptr[6]);
308e80cfcfcSbellard #if 1
3097fe48483Sbellard 	cpu_dump_state(env, logfile, fprintf, 0);
310e8af50a3Sbellard 	{
311e8af50a3Sbellard 	    int i;
312e8af50a3Sbellard 	    uint8_t *ptr;
313e80cfcfcSbellard 
314e8af50a3Sbellard 	    fprintf(logfile, "       code=");
315e80cfcfcSbellard 	    ptr = (uint8_t *)env->pc;
316e8af50a3Sbellard 	    for(i = 0; i < 16; i++) {
317e8af50a3Sbellard 		fprintf(logfile, " %02x", ldub(ptr + i));
318e8af50a3Sbellard 	    }
319e8af50a3Sbellard 	    fprintf(logfile, "\n");
320e8af50a3Sbellard 	}
321e8af50a3Sbellard #endif
322e8af50a3Sbellard 	count++;
323e8af50a3Sbellard     }
324e8af50a3Sbellard #endif
325e80cfcfcSbellard #if !defined(CONFIG_USER_ONLY)
326e80cfcfcSbellard     if (env->psret == 0) {
327878d3096Sbellard         cpu_abort(cpu_single_env, "Trap 0x%02x while interrupts disabled, Error state", env->exception_index);
328e80cfcfcSbellard 	return;
329e80cfcfcSbellard     }
330e80cfcfcSbellard #endif
331e8af50a3Sbellard     env->psret = 0;
332e8af50a3Sbellard     cwp = (env->cwp - 1) & (NWINDOWS - 1);
333e8af50a3Sbellard     set_cwp(cwp);
334af7bf89bSbellard     env->regwptr[9] = env->pc;
335af7bf89bSbellard     env->regwptr[10] = env->npc;
336e8af50a3Sbellard     env->psrps = env->psrs;
337e8af50a3Sbellard     env->psrs = 1;
338e8af50a3Sbellard     env->tbr = (env->tbr & TBR_BASE_MASK) | (intno << 4);
339e8af50a3Sbellard     env->pc = env->tbr;
340e8af50a3Sbellard     env->npc = env->pc + 4;
341e8af50a3Sbellard     env->exception_index = 0;
342e8af50a3Sbellard }
343e8af50a3Sbellard 
344af7bf89bSbellard target_ulong mmu_probe(target_ulong address, int mmulev)
345e80cfcfcSbellard {
346e80cfcfcSbellard     target_phys_addr_t pde_ptr;
347e80cfcfcSbellard     uint32_t pde;
348e80cfcfcSbellard 
349e80cfcfcSbellard     /* Context base + context number */
350e80cfcfcSbellard     pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 4);
35149be8030Sbellard     pde = ldl_phys(pde_ptr);
35249be8030Sbellard 
353e80cfcfcSbellard     switch (pde & PTE_ENTRYTYPE_MASK) {
354e80cfcfcSbellard     default:
355e80cfcfcSbellard     case 0: /* Invalid */
356e80cfcfcSbellard     case 2: /* PTE, maybe should not happen? */
357e80cfcfcSbellard     case 3: /* Reserved */
358e80cfcfcSbellard 	return 0;
359e80cfcfcSbellard     case 1: /* L1 PDE */
360e80cfcfcSbellard 	if (mmulev == 3)
361e80cfcfcSbellard 	    return pde;
362e80cfcfcSbellard 	pde_ptr = ((address >> 22) & ~3) + ((pde & ~3) << 4);
36349be8030Sbellard         pde = ldl_phys(pde_ptr);
364e80cfcfcSbellard 
365e80cfcfcSbellard 	switch (pde & PTE_ENTRYTYPE_MASK) {
366e80cfcfcSbellard 	default:
367e80cfcfcSbellard 	case 0: /* Invalid */
368e80cfcfcSbellard 	case 3: /* Reserved */
369e80cfcfcSbellard 	    return 0;
370e80cfcfcSbellard 	case 2: /* L1 PTE */
371e80cfcfcSbellard 	    return pde;
372e80cfcfcSbellard 	case 1: /* L2 PDE */
373e80cfcfcSbellard 	    if (mmulev == 2)
374e80cfcfcSbellard 		return pde;
375e80cfcfcSbellard 	    pde_ptr = ((address & 0xfc0000) >> 16) + ((pde & ~3) << 4);
37649be8030Sbellard             pde = ldl_phys(pde_ptr);
377e80cfcfcSbellard 
378e80cfcfcSbellard 	    switch (pde & PTE_ENTRYTYPE_MASK) {
379e80cfcfcSbellard 	    default:
380e80cfcfcSbellard 	    case 0: /* Invalid */
381e80cfcfcSbellard 	    case 3: /* Reserved */
382e80cfcfcSbellard 		return 0;
383e80cfcfcSbellard 	    case 2: /* L2 PTE */
384e80cfcfcSbellard 		return pde;
385e80cfcfcSbellard 	    case 1: /* L3 PDE */
386e80cfcfcSbellard 		if (mmulev == 1)
387e80cfcfcSbellard 		    return pde;
388e80cfcfcSbellard 		pde_ptr = ((address & 0x3f000) >> 10) + ((pde & ~3) << 4);
38949be8030Sbellard                 pde = ldl_phys(pde_ptr);
390e80cfcfcSbellard 
391e80cfcfcSbellard 		switch (pde & PTE_ENTRYTYPE_MASK) {
392e80cfcfcSbellard 		default:
393e80cfcfcSbellard 		case 0: /* Invalid */
394e80cfcfcSbellard 		case 1: /* PDE, should not happen */
395e80cfcfcSbellard 		case 3: /* Reserved */
396e80cfcfcSbellard 		    return 0;
397e80cfcfcSbellard 		case 2: /* L3 PTE */
398e80cfcfcSbellard 		    return pde;
399e80cfcfcSbellard 		}
400e80cfcfcSbellard 	    }
401e80cfcfcSbellard 	}
402e80cfcfcSbellard     }
403e80cfcfcSbellard     return 0;
404e80cfcfcSbellard }
405e80cfcfcSbellard 
406e80cfcfcSbellard void dump_mmu(void)
407e80cfcfcSbellard {
408e80cfcfcSbellard #ifdef DEBUG_MMU
409af7bf89bSbellard      target_ulong va, va1, va2;
410af7bf89bSbellard      unsigned int n, m, o;
411af7bf89bSbellard      target_phys_addr_t pde_ptr, pa;
412e80cfcfcSbellard     uint32_t pde;
413e80cfcfcSbellard 
414e80cfcfcSbellard     printf("MMU dump:\n");
415e80cfcfcSbellard     pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 4);
41649be8030Sbellard     pde = ldl_phys(pde_ptr);
417af7bf89bSbellard     printf("Root ptr: " TARGET_FMT_lx ", ctx: %d\n", env->mmuregs[1] << 4, env->mmuregs[2]);
418e80cfcfcSbellard     for (n = 0, va = 0; n < 256; n++, va += 16 * 1024 * 1024) {
419e80cfcfcSbellard 	pde_ptr = mmu_probe(va, 2);
420e80cfcfcSbellard 	if (pde_ptr) {
421e80cfcfcSbellard 	    pa = cpu_get_phys_page_debug(env, va);
422af7bf89bSbellard  	    printf("VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PDE: " TARGET_FMT_lx "\n", va, pa, pde_ptr);
423e80cfcfcSbellard 	    for (m = 0, va1 = va; m < 64; m++, va1 += 256 * 1024) {
424e80cfcfcSbellard 		pde_ptr = mmu_probe(va1, 1);
425e80cfcfcSbellard 		if (pde_ptr) {
426e80cfcfcSbellard 		    pa = cpu_get_phys_page_debug(env, va1);
427af7bf89bSbellard  		    printf(" VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PDE: " TARGET_FMT_lx "\n", va1, pa, pde_ptr);
428e80cfcfcSbellard 		    for (o = 0, va2 = va1; o < 64; o++, va2 += 4 * 1024) {
429e80cfcfcSbellard 			pde_ptr = mmu_probe(va2, 0);
430e80cfcfcSbellard 			if (pde_ptr) {
431e80cfcfcSbellard 			    pa = cpu_get_phys_page_debug(env, va2);
432af7bf89bSbellard  			    printf("  VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PTE: " TARGET_FMT_lx "\n", va2, pa, pde_ptr);
433e80cfcfcSbellard 			}
434e80cfcfcSbellard 		    }
435e80cfcfcSbellard 		}
436e80cfcfcSbellard 	    }
437e80cfcfcSbellard 	}
438e80cfcfcSbellard     }
439e80cfcfcSbellard     printf("MMU dump ends\n");
440e80cfcfcSbellard #endif
441e80cfcfcSbellard }
442