xref: /qemu/target/sparc/helper.c (revision b3180cdc0195c14d8f01971010b920ef98b35bc3)
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 */
97c3278b7bSbellard                 cpu_restore_state(tb, env, pc, (void *)T2);
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 
1407483750dSbellard     *access_index = ((rw & 1) << 2) | (rw & 2) | (is_user? 0 : 1);
1416f7e9aecSbellard     *physical = 0xfffff000;
1427483750dSbellard 
143e8af50a3Sbellard     /* SPARC reference MMU table walk: Context table->L1->L2->PTE */
144e8af50a3Sbellard     /* Context base + context number */
145b3180cdcSbellard     pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 2);
14649be8030Sbellard     pde = ldl_phys(pde_ptr);
147e8af50a3Sbellard 
148e8af50a3Sbellard     /* Ctx pde */
149e8af50a3Sbellard     switch (pde & PTE_ENTRYTYPE_MASK) {
150e80cfcfcSbellard     default:
151e8af50a3Sbellard     case 0: /* Invalid */
1527483750dSbellard 	return 1 << 2;
153e80cfcfcSbellard     case 2: /* L0 PTE, maybe should not happen? */
154e8af50a3Sbellard     case 3: /* Reserved */
1557483750dSbellard         return 4 << 2;
156e80cfcfcSbellard     case 1: /* L0 PDE */
157e80cfcfcSbellard 	pde_ptr = ((address >> 22) & ~3) + ((pde & ~3) << 4);
15849be8030Sbellard         pde = ldl_phys(pde_ptr);
159e80cfcfcSbellard 
160e80cfcfcSbellard 	switch (pde & PTE_ENTRYTYPE_MASK) {
161e80cfcfcSbellard 	default:
162e80cfcfcSbellard 	case 0: /* Invalid */
1637483750dSbellard 	    return (1 << 8) | (1 << 2);
164e80cfcfcSbellard 	case 3: /* Reserved */
1657483750dSbellard 	    return (1 << 8) | (4 << 2);
166e8af50a3Sbellard 	case 1: /* L1 PDE */
167e80cfcfcSbellard 	    pde_ptr = ((address & 0xfc0000) >> 16) + ((pde & ~3) << 4);
16849be8030Sbellard             pde = ldl_phys(pde_ptr);
169e8af50a3Sbellard 
170e8af50a3Sbellard 	    switch (pde & PTE_ENTRYTYPE_MASK) {
171e80cfcfcSbellard 	    default:
172e8af50a3Sbellard 	    case 0: /* Invalid */
1737483750dSbellard 		return (2 << 8) | (1 << 2);
174e8af50a3Sbellard 	    case 3: /* Reserved */
1757483750dSbellard 		return (2 << 8) | (4 << 2);
176e8af50a3Sbellard 	    case 1: /* L2 PDE */
177e80cfcfcSbellard 		pde_ptr = ((address & 0x3f000) >> 10) + ((pde & ~3) << 4);
17849be8030Sbellard                 pde = ldl_phys(pde_ptr);
179e8af50a3Sbellard 
180e8af50a3Sbellard 		switch (pde & PTE_ENTRYTYPE_MASK) {
181e80cfcfcSbellard 		default:
182e8af50a3Sbellard 		case 0: /* Invalid */
1837483750dSbellard 		    return (3 << 8) | (1 << 2);
184e8af50a3Sbellard 		case 1: /* PDE, should not happen */
185e8af50a3Sbellard 		case 3: /* Reserved */
1867483750dSbellard 		    return (3 << 8) | (4 << 2);
187e8af50a3Sbellard 		case 2: /* L3 PTE */
188e8af50a3Sbellard 		    virt_addr = address & TARGET_PAGE_MASK;
189e8af50a3Sbellard 		    page_offset = (address & TARGET_PAGE_MASK) & (TARGET_PAGE_SIZE - 1);
190e8af50a3Sbellard 		}
191e8af50a3Sbellard 		break;
192e8af50a3Sbellard 	    case 2: /* L2 PTE */
193e8af50a3Sbellard 		virt_addr = address & ~0x3ffff;
194e8af50a3Sbellard 		page_offset = address & 0x3ffff;
195e8af50a3Sbellard 	    }
196e8af50a3Sbellard 	    break;
197e8af50a3Sbellard 	case 2: /* L1 PTE */
198e8af50a3Sbellard 	    virt_addr = address & ~0xffffff;
199e8af50a3Sbellard 	    page_offset = address & 0xffffff;
200e8af50a3Sbellard 	}
201e8af50a3Sbellard     }
202e8af50a3Sbellard 
203e8af50a3Sbellard     /* update page modified and dirty bits */
204b769d8feSbellard     is_dirty = (rw & 1) && !(pde & PG_MODIFIED_MASK);
205e8af50a3Sbellard     if (!(pde & PG_ACCESSED_MASK) || is_dirty) {
206e8af50a3Sbellard 	pde |= PG_ACCESSED_MASK;
207e8af50a3Sbellard 	if (is_dirty)
208e8af50a3Sbellard 	    pde |= PG_MODIFIED_MASK;
20949be8030Sbellard         stl_phys_notdirty(pde_ptr, pde);
210e8af50a3Sbellard     }
211e8af50a3Sbellard     /* check access */
212e8af50a3Sbellard     access_perms = (pde & PTE_ACCESS_MASK) >> PTE_ACCESS_SHIFT;
213e80cfcfcSbellard     error_code = access_table[*access_index][access_perms];
2146f7e9aecSbellard     if (error_code && !(env->mmuregs[0] & MMU_NF))
215e80cfcfcSbellard 	return error_code;
216e8af50a3Sbellard 
217e8af50a3Sbellard     /* the page can be put in the TLB */
218e80cfcfcSbellard     *prot = PAGE_READ;
219e8af50a3Sbellard     if (pde & PG_MODIFIED_MASK) {
220e8af50a3Sbellard         /* only set write access if already dirty... otherwise wait
221e8af50a3Sbellard            for dirty access */
222e8af50a3Sbellard 	if (rw_table[is_user][access_perms])
223e80cfcfcSbellard 	        *prot |= PAGE_WRITE;
224e8af50a3Sbellard     }
225e8af50a3Sbellard 
226e8af50a3Sbellard     /* Even if large ptes, we map only one 4KB page in the cache to
227e8af50a3Sbellard        avoid filling it too fast */
228e80cfcfcSbellard     *physical = ((pde & PTE_ADDR_MASK) << 4) + page_offset;
2296f7e9aecSbellard     return error_code;
230e80cfcfcSbellard }
231e80cfcfcSbellard 
232e80cfcfcSbellard /* Perform address translation */
233af7bf89bSbellard int cpu_sparc_handle_mmu_fault (CPUState *env, target_ulong address, int rw,
234e80cfcfcSbellard                               int is_user, int is_softmmu)
235e80cfcfcSbellard {
236af7bf89bSbellard     target_ulong virt_addr;
237af7bf89bSbellard     target_phys_addr_t paddr;
238e80cfcfcSbellard     unsigned long vaddr;
239e80cfcfcSbellard     int error_code = 0, prot, ret = 0, access_index;
240e80cfcfcSbellard 
241e80cfcfcSbellard     error_code = get_physical_address(env, &paddr, &prot, &access_index, address, rw, is_user);
242e80cfcfcSbellard     if (error_code == 0) {
243e8af50a3Sbellard 	virt_addr = address & TARGET_PAGE_MASK;
244e8af50a3Sbellard 	vaddr = virt_addr + ((address & TARGET_PAGE_MASK) & (TARGET_PAGE_SIZE - 1));
245e8af50a3Sbellard 	ret = tlb_set_page(env, vaddr, paddr, prot, is_user, is_softmmu);
246e8af50a3Sbellard 	return ret;
247e80cfcfcSbellard     }
248e8af50a3Sbellard 
249e8af50a3Sbellard     if (env->mmuregs[3]) /* Fault status register */
250e8af50a3Sbellard 	env->mmuregs[3] = 1; /* overflow (not read before another fault) */
2517483750dSbellard     env->mmuregs[3] |= (access_index << 5) | error_code | 2;
252e8af50a3Sbellard     env->mmuregs[4] = address; /* Fault address register */
253e8af50a3Sbellard 
254878d3096Sbellard     if ((env->mmuregs[0] & MMU_NF) || env->psret == 0)  {
2556f7e9aecSbellard         // No fault mode: if a mapping is available, just override
2566f7e9aecSbellard         // permissions. If no mapping is available, redirect accesses to
2576f7e9aecSbellard         // neverland. Fake/overridden mappings will be flushed when
2586f7e9aecSbellard         // switching to normal mode.
2597483750dSbellard 	vaddr = address & TARGET_PAGE_MASK;
2607483750dSbellard         prot = PAGE_READ | PAGE_WRITE;
2617483750dSbellard         ret = tlb_set_page(env, vaddr, paddr, prot, is_user, is_softmmu);
2627483750dSbellard 	return ret;
2637483750dSbellard     } else {
264878d3096Sbellard         if (rw & 2)
265878d3096Sbellard             env->exception_index = TT_TFAULT;
266878d3096Sbellard         else
267878d3096Sbellard             env->exception_index = TT_DFAULT;
268878d3096Sbellard         return 1;
269e8af50a3Sbellard     }
2707483750dSbellard }
2719d893301Sbellard #endif
272e8af50a3Sbellard 
273af7bf89bSbellard void memcpy32(target_ulong *dst, const target_ulong *src)
274e8af50a3Sbellard {
275e8af50a3Sbellard     dst[0] = src[0];
276e8af50a3Sbellard     dst[1] = src[1];
277e8af50a3Sbellard     dst[2] = src[2];
278e8af50a3Sbellard     dst[3] = src[3];
279e8af50a3Sbellard     dst[4] = src[4];
280e8af50a3Sbellard     dst[5] = src[5];
281e8af50a3Sbellard     dst[6] = src[6];
282e8af50a3Sbellard     dst[7] = src[7];
283e8af50a3Sbellard }
284e8af50a3Sbellard 
285e8af50a3Sbellard void set_cwp(int new_cwp)
286e8af50a3Sbellard {
287e8af50a3Sbellard     /* put the modified wrap registers at their proper location */
288e8af50a3Sbellard     if (env->cwp == (NWINDOWS - 1))
289e8af50a3Sbellard         memcpy32(env->regbase, env->regbase + NWINDOWS * 16);
290e8af50a3Sbellard     env->cwp = new_cwp;
291e8af50a3Sbellard     /* put the wrap registers at their temporary location */
292e8af50a3Sbellard     if (new_cwp == (NWINDOWS - 1))
293e8af50a3Sbellard         memcpy32(env->regbase + NWINDOWS * 16, env->regbase);
294e8af50a3Sbellard     env->regwptr = env->regbase + (new_cwp * 16);
295e8af50a3Sbellard }
296e8af50a3Sbellard 
2970fa85d43Sbellard void cpu_set_cwp(CPUState *env1, int new_cwp)
2980fa85d43Sbellard {
2990fa85d43Sbellard     CPUState *saved_env;
3000fa85d43Sbellard     saved_env = env;
3010fa85d43Sbellard     env = env1;
3020fa85d43Sbellard     set_cwp(new_cwp);
3030fa85d43Sbellard     env = saved_env;
3040fa85d43Sbellard }
3050fa85d43Sbellard 
306878d3096Sbellard void do_interrupt(int intno)
307e8af50a3Sbellard {
308e8af50a3Sbellard     int cwp;
309e8af50a3Sbellard 
310e8af50a3Sbellard #ifdef DEBUG_PCALL
311e8af50a3Sbellard     if (loglevel & CPU_LOG_INT) {
312e8af50a3Sbellard 	static int count;
313878d3096Sbellard 	fprintf(logfile, "%6d: v=%02x pc=%08x npc=%08x SP=%08x\n",
314878d3096Sbellard                 count, intno,
315e8af50a3Sbellard                 env->pc,
3168d5f07faSbellard                 env->npc, env->regwptr[6]);
3177fe48483Sbellard 	cpu_dump_state(env, logfile, fprintf, 0);
3186f7e9aecSbellard #if 0
319e8af50a3Sbellard 	{
320e8af50a3Sbellard 	    int i;
321e8af50a3Sbellard 	    uint8_t *ptr;
322e80cfcfcSbellard 
323e8af50a3Sbellard 	    fprintf(logfile, "       code=");
324e80cfcfcSbellard 	    ptr = (uint8_t *)env->pc;
325e8af50a3Sbellard 	    for(i = 0; i < 16; i++) {
326e8af50a3Sbellard 		fprintf(logfile, " %02x", ldub(ptr + i));
327e8af50a3Sbellard 	    }
328e8af50a3Sbellard 	    fprintf(logfile, "\n");
329e8af50a3Sbellard 	}
330e8af50a3Sbellard #endif
331e8af50a3Sbellard 	count++;
332e8af50a3Sbellard     }
333e8af50a3Sbellard #endif
334e80cfcfcSbellard #if !defined(CONFIG_USER_ONLY)
335e80cfcfcSbellard     if (env->psret == 0) {
336878d3096Sbellard         cpu_abort(cpu_single_env, "Trap 0x%02x while interrupts disabled, Error state", env->exception_index);
337e80cfcfcSbellard 	return;
338e80cfcfcSbellard     }
339e80cfcfcSbellard #endif
340e8af50a3Sbellard     env->psret = 0;
341e8af50a3Sbellard     cwp = (env->cwp - 1) & (NWINDOWS - 1);
342e8af50a3Sbellard     set_cwp(cwp);
343af7bf89bSbellard     env->regwptr[9] = env->pc;
344af7bf89bSbellard     env->regwptr[10] = env->npc;
345e8af50a3Sbellard     env->psrps = env->psrs;
346e8af50a3Sbellard     env->psrs = 1;
347e8af50a3Sbellard     env->tbr = (env->tbr & TBR_BASE_MASK) | (intno << 4);
348e8af50a3Sbellard     env->pc = env->tbr;
349e8af50a3Sbellard     env->npc = env->pc + 4;
350e8af50a3Sbellard     env->exception_index = 0;
351e8af50a3Sbellard }
352e8af50a3Sbellard 
353af7bf89bSbellard target_ulong mmu_probe(target_ulong address, int mmulev)
354e80cfcfcSbellard {
355e80cfcfcSbellard     target_phys_addr_t pde_ptr;
356e80cfcfcSbellard     uint32_t pde;
357e80cfcfcSbellard 
358e80cfcfcSbellard     /* Context base + context number */
359b3180cdcSbellard     pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 2);
36049be8030Sbellard     pde = ldl_phys(pde_ptr);
36149be8030Sbellard 
362e80cfcfcSbellard     switch (pde & PTE_ENTRYTYPE_MASK) {
363e80cfcfcSbellard     default:
364e80cfcfcSbellard     case 0: /* Invalid */
365e80cfcfcSbellard     case 2: /* PTE, maybe should not happen? */
366e80cfcfcSbellard     case 3: /* Reserved */
367e80cfcfcSbellard 	return 0;
368e80cfcfcSbellard     case 1: /* L1 PDE */
369e80cfcfcSbellard 	if (mmulev == 3)
370e80cfcfcSbellard 	    return pde;
371e80cfcfcSbellard 	pde_ptr = ((address >> 22) & ~3) + ((pde & ~3) << 4);
37249be8030Sbellard         pde = ldl_phys(pde_ptr);
373e80cfcfcSbellard 
374e80cfcfcSbellard 	switch (pde & PTE_ENTRYTYPE_MASK) {
375e80cfcfcSbellard 	default:
376e80cfcfcSbellard 	case 0: /* Invalid */
377e80cfcfcSbellard 	case 3: /* Reserved */
378e80cfcfcSbellard 	    return 0;
379e80cfcfcSbellard 	case 2: /* L1 PTE */
380e80cfcfcSbellard 	    return pde;
381e80cfcfcSbellard 	case 1: /* L2 PDE */
382e80cfcfcSbellard 	    if (mmulev == 2)
383e80cfcfcSbellard 		return pde;
384e80cfcfcSbellard 	    pde_ptr = ((address & 0xfc0000) >> 16) + ((pde & ~3) << 4);
38549be8030Sbellard             pde = ldl_phys(pde_ptr);
386e80cfcfcSbellard 
387e80cfcfcSbellard 	    switch (pde & PTE_ENTRYTYPE_MASK) {
388e80cfcfcSbellard 	    default:
389e80cfcfcSbellard 	    case 0: /* Invalid */
390e80cfcfcSbellard 	    case 3: /* Reserved */
391e80cfcfcSbellard 		return 0;
392e80cfcfcSbellard 	    case 2: /* L2 PTE */
393e80cfcfcSbellard 		return pde;
394e80cfcfcSbellard 	    case 1: /* L3 PDE */
395e80cfcfcSbellard 		if (mmulev == 1)
396e80cfcfcSbellard 		    return pde;
397e80cfcfcSbellard 		pde_ptr = ((address & 0x3f000) >> 10) + ((pde & ~3) << 4);
39849be8030Sbellard                 pde = ldl_phys(pde_ptr);
399e80cfcfcSbellard 
400e80cfcfcSbellard 		switch (pde & PTE_ENTRYTYPE_MASK) {
401e80cfcfcSbellard 		default:
402e80cfcfcSbellard 		case 0: /* Invalid */
403e80cfcfcSbellard 		case 1: /* PDE, should not happen */
404e80cfcfcSbellard 		case 3: /* Reserved */
405e80cfcfcSbellard 		    return 0;
406e80cfcfcSbellard 		case 2: /* L3 PTE */
407e80cfcfcSbellard 		    return pde;
408e80cfcfcSbellard 		}
409e80cfcfcSbellard 	    }
410e80cfcfcSbellard 	}
411e80cfcfcSbellard     }
412e80cfcfcSbellard     return 0;
413e80cfcfcSbellard }
414e80cfcfcSbellard 
41555754d9eSbellard #ifdef DEBUG_MMU
416e80cfcfcSbellard void dump_mmu(void)
417e80cfcfcSbellard {
418af7bf89bSbellard      target_ulong va, va1, va2;
419af7bf89bSbellard      unsigned int n, m, o;
420af7bf89bSbellard      target_phys_addr_t pde_ptr, pa;
421e80cfcfcSbellard     uint32_t pde;
422e80cfcfcSbellard 
423e80cfcfcSbellard     printf("MMU dump:\n");
424b3180cdcSbellard     pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 2);
42549be8030Sbellard     pde = ldl_phys(pde_ptr);
426af7bf89bSbellard     printf("Root ptr: " TARGET_FMT_lx ", ctx: %d\n", env->mmuregs[1] << 4, env->mmuregs[2]);
427e80cfcfcSbellard     for (n = 0, va = 0; n < 256; n++, va += 16 * 1024 * 1024) {
428e80cfcfcSbellard 	pde_ptr = mmu_probe(va, 2);
429e80cfcfcSbellard 	if (pde_ptr) {
430e80cfcfcSbellard 	    pa = cpu_get_phys_page_debug(env, va);
431af7bf89bSbellard  	    printf("VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PDE: " TARGET_FMT_lx "\n", va, pa, pde_ptr);
432e80cfcfcSbellard 	    for (m = 0, va1 = va; m < 64; m++, va1 += 256 * 1024) {
433e80cfcfcSbellard 		pde_ptr = mmu_probe(va1, 1);
434e80cfcfcSbellard 		if (pde_ptr) {
435e80cfcfcSbellard 		    pa = cpu_get_phys_page_debug(env, va1);
436af7bf89bSbellard  		    printf(" VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PDE: " TARGET_FMT_lx "\n", va1, pa, pde_ptr);
437e80cfcfcSbellard 		    for (o = 0, va2 = va1; o < 64; o++, va2 += 4 * 1024) {
438e80cfcfcSbellard 			pde_ptr = mmu_probe(va2, 0);
439e80cfcfcSbellard 			if (pde_ptr) {
440e80cfcfcSbellard 			    pa = cpu_get_phys_page_debug(env, va2);
441af7bf89bSbellard  			    printf("  VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PTE: " TARGET_FMT_lx "\n", va2, pa, pde_ptr);
442e80cfcfcSbellard 			}
443e80cfcfcSbellard 		    }
444e80cfcfcSbellard 		}
445e80cfcfcSbellard 	    }
446e80cfcfcSbellard 	}
447e80cfcfcSbellard     }
448e80cfcfcSbellard     printf("MMU dump ends\n");
449e80cfcfcSbellard }
45055754d9eSbellard #endif
451