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 1407483750dSbellard *access_index = ((rw & 1) << 2) | (rw & 2) | (is_user? 0 : 1); 1417483750dSbellard 142e8af50a3Sbellard /* SPARC reference MMU table walk: Context table->L1->L2->PTE */ 143e8af50a3Sbellard /* Context base + context number */ 144e80cfcfcSbellard pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 4); 14549be8030Sbellard pde = ldl_phys(pde_ptr); 146e8af50a3Sbellard 147e8af50a3Sbellard /* Ctx pde */ 148e8af50a3Sbellard switch (pde & PTE_ENTRYTYPE_MASK) { 149e80cfcfcSbellard default: 150e8af50a3Sbellard case 0: /* Invalid */ 1517483750dSbellard return 1 << 2; 152e80cfcfcSbellard case 2: /* L0 PTE, maybe should not happen? */ 153e8af50a3Sbellard case 3: /* Reserved */ 1547483750dSbellard return 4 << 2; 155e80cfcfcSbellard case 1: /* L0 PDE */ 156e80cfcfcSbellard pde_ptr = ((address >> 22) & ~3) + ((pde & ~3) << 4); 15749be8030Sbellard pde = ldl_phys(pde_ptr); 158e80cfcfcSbellard 159e80cfcfcSbellard switch (pde & PTE_ENTRYTYPE_MASK) { 160e80cfcfcSbellard default: 161e80cfcfcSbellard case 0: /* Invalid */ 1627483750dSbellard return (1 << 8) | (1 << 2); 163e80cfcfcSbellard case 3: /* Reserved */ 1647483750dSbellard return (1 << 8) | (4 << 2); 165e8af50a3Sbellard case 1: /* L1 PDE */ 166e80cfcfcSbellard pde_ptr = ((address & 0xfc0000) >> 16) + ((pde & ~3) << 4); 16749be8030Sbellard pde = ldl_phys(pde_ptr); 168e8af50a3Sbellard 169e8af50a3Sbellard switch (pde & PTE_ENTRYTYPE_MASK) { 170e80cfcfcSbellard default: 171e8af50a3Sbellard case 0: /* Invalid */ 1727483750dSbellard return (2 << 8) | (1 << 2); 173e8af50a3Sbellard case 3: /* Reserved */ 1747483750dSbellard return (2 << 8) | (4 << 2); 175e8af50a3Sbellard case 1: /* L2 PDE */ 176e80cfcfcSbellard pde_ptr = ((address & 0x3f000) >> 10) + ((pde & ~3) << 4); 17749be8030Sbellard pde = ldl_phys(pde_ptr); 178e8af50a3Sbellard 179e8af50a3Sbellard switch (pde & PTE_ENTRYTYPE_MASK) { 180e80cfcfcSbellard default: 181e8af50a3Sbellard case 0: /* Invalid */ 1827483750dSbellard return (3 << 8) | (1 << 2); 183e8af50a3Sbellard case 1: /* PDE, should not happen */ 184e8af50a3Sbellard case 3: /* Reserved */ 1857483750dSbellard return (3 << 8) | (4 << 2); 186e8af50a3Sbellard case 2: /* L3 PTE */ 187e8af50a3Sbellard virt_addr = address & TARGET_PAGE_MASK; 188e8af50a3Sbellard page_offset = (address & TARGET_PAGE_MASK) & (TARGET_PAGE_SIZE - 1); 189e8af50a3Sbellard } 190e8af50a3Sbellard break; 191e8af50a3Sbellard case 2: /* L2 PTE */ 192e8af50a3Sbellard virt_addr = address & ~0x3ffff; 193e8af50a3Sbellard page_offset = address & 0x3ffff; 194e8af50a3Sbellard } 195e8af50a3Sbellard break; 196e8af50a3Sbellard case 2: /* L1 PTE */ 197e8af50a3Sbellard virt_addr = address & ~0xffffff; 198e8af50a3Sbellard page_offset = address & 0xffffff; 199e8af50a3Sbellard } 200e8af50a3Sbellard } 201e8af50a3Sbellard 202e8af50a3Sbellard /* update page modified and dirty bits */ 203b769d8feSbellard is_dirty = (rw & 1) && !(pde & PG_MODIFIED_MASK); 204e8af50a3Sbellard if (!(pde & PG_ACCESSED_MASK) || is_dirty) { 205e8af50a3Sbellard pde |= PG_ACCESSED_MASK; 206e8af50a3Sbellard if (is_dirty) 207e8af50a3Sbellard pde |= PG_MODIFIED_MASK; 20849be8030Sbellard stl_phys_notdirty(pde_ptr, pde); 209e8af50a3Sbellard } 210e8af50a3Sbellard /* check access */ 211e8af50a3Sbellard access_perms = (pde & PTE_ACCESS_MASK) >> PTE_ACCESS_SHIFT; 212e80cfcfcSbellard error_code = access_table[*access_index][access_perms]; 213e8af50a3Sbellard if (error_code) 214e80cfcfcSbellard return error_code; 215e8af50a3Sbellard 216e8af50a3Sbellard /* the page can be put in the TLB */ 217e80cfcfcSbellard *prot = PAGE_READ; 218e8af50a3Sbellard if (pde & PG_MODIFIED_MASK) { 219e8af50a3Sbellard /* only set write access if already dirty... otherwise wait 220e8af50a3Sbellard for dirty access */ 221e8af50a3Sbellard if (rw_table[is_user][access_perms]) 222e80cfcfcSbellard *prot |= PAGE_WRITE; 223e8af50a3Sbellard } 224e8af50a3Sbellard 225e8af50a3Sbellard /* Even if large ptes, we map only one 4KB page in the cache to 226e8af50a3Sbellard avoid filling it too fast */ 227e80cfcfcSbellard *physical = ((pde & PTE_ADDR_MASK) << 4) + page_offset; 228e80cfcfcSbellard return 0; 229e80cfcfcSbellard } 230e80cfcfcSbellard 231e80cfcfcSbellard /* Perform address translation */ 232af7bf89bSbellard int cpu_sparc_handle_mmu_fault (CPUState *env, target_ulong address, int rw, 233e80cfcfcSbellard int is_user, int is_softmmu) 234e80cfcfcSbellard { 235af7bf89bSbellard target_ulong virt_addr; 236af7bf89bSbellard target_phys_addr_t paddr; 237e80cfcfcSbellard unsigned long vaddr; 238e80cfcfcSbellard int error_code = 0, prot, ret = 0, access_index; 239e80cfcfcSbellard 240e80cfcfcSbellard error_code = get_physical_address(env, &paddr, &prot, &access_index, address, rw, is_user); 241e80cfcfcSbellard if (error_code == 0) { 242e8af50a3Sbellard virt_addr = address & TARGET_PAGE_MASK; 243e8af50a3Sbellard vaddr = virt_addr + ((address & TARGET_PAGE_MASK) & (TARGET_PAGE_SIZE - 1)); 244e8af50a3Sbellard ret = tlb_set_page(env, vaddr, paddr, prot, is_user, is_softmmu); 245e8af50a3Sbellard return ret; 246e80cfcfcSbellard } 247e8af50a3Sbellard 248e8af50a3Sbellard if (env->mmuregs[3]) /* Fault status register */ 249e8af50a3Sbellard env->mmuregs[3] = 1; /* overflow (not read before another fault) */ 2507483750dSbellard env->mmuregs[3] |= (access_index << 5) | error_code | 2; 251e8af50a3Sbellard env->mmuregs[4] = address; /* Fault address register */ 252e8af50a3Sbellard 253878d3096Sbellard if ((env->mmuregs[0] & MMU_NF) || env->psret == 0) { 2547483750dSbellard #if 0 255878d3096Sbellard // No fault 2567483750dSbellard vaddr = address & TARGET_PAGE_MASK; 2577483750dSbellard paddr = 0xfffff000; 2587483750dSbellard prot = PAGE_READ | PAGE_WRITE; 2597483750dSbellard ret = tlb_set_page(env, vaddr, paddr, prot, is_user, is_softmmu); 2607483750dSbellard return ret; 2617483750dSbellard #else 2627483750dSbellard cpu_abort(env, "MMU no fault case no handled"); 2637483750dSbellard return 0; 2647483750dSbellard #endif 2657483750dSbellard } else { 266878d3096Sbellard if (rw & 2) 267878d3096Sbellard env->exception_index = TT_TFAULT; 268878d3096Sbellard else 269878d3096Sbellard env->exception_index = TT_DFAULT; 270878d3096Sbellard return 1; 271e8af50a3Sbellard } 2727483750dSbellard } 2739d893301Sbellard #endif 274e8af50a3Sbellard 275af7bf89bSbellard void memcpy32(target_ulong *dst, const target_ulong *src) 276e8af50a3Sbellard { 277e8af50a3Sbellard dst[0] = src[0]; 278e8af50a3Sbellard dst[1] = src[1]; 279e8af50a3Sbellard dst[2] = src[2]; 280e8af50a3Sbellard dst[3] = src[3]; 281e8af50a3Sbellard dst[4] = src[4]; 282e8af50a3Sbellard dst[5] = src[5]; 283e8af50a3Sbellard dst[6] = src[6]; 284e8af50a3Sbellard dst[7] = src[7]; 285e8af50a3Sbellard } 286e8af50a3Sbellard 287e8af50a3Sbellard void set_cwp(int new_cwp) 288e8af50a3Sbellard { 289e8af50a3Sbellard /* put the modified wrap registers at their proper location */ 290e8af50a3Sbellard if (env->cwp == (NWINDOWS - 1)) 291e8af50a3Sbellard memcpy32(env->regbase, env->regbase + NWINDOWS * 16); 292e8af50a3Sbellard env->cwp = new_cwp; 293e8af50a3Sbellard /* put the wrap registers at their temporary location */ 294e8af50a3Sbellard if (new_cwp == (NWINDOWS - 1)) 295e8af50a3Sbellard memcpy32(env->regbase + NWINDOWS * 16, env->regbase); 296e8af50a3Sbellard env->regwptr = env->regbase + (new_cwp * 16); 297e8af50a3Sbellard } 298e8af50a3Sbellard 2990fa85d43Sbellard void cpu_set_cwp(CPUState *env1, int new_cwp) 3000fa85d43Sbellard { 3010fa85d43Sbellard CPUState *saved_env; 3020fa85d43Sbellard saved_env = env; 3030fa85d43Sbellard env = env1; 3040fa85d43Sbellard set_cwp(new_cwp); 3050fa85d43Sbellard env = saved_env; 3060fa85d43Sbellard } 3070fa85d43Sbellard 308878d3096Sbellard void do_interrupt(int intno) 309e8af50a3Sbellard { 310e8af50a3Sbellard int cwp; 311e8af50a3Sbellard 312e8af50a3Sbellard #ifdef DEBUG_PCALL 313e8af50a3Sbellard if (loglevel & CPU_LOG_INT) { 314e8af50a3Sbellard static int count; 315878d3096Sbellard fprintf(logfile, "%6d: v=%02x pc=%08x npc=%08x SP=%08x\n", 316878d3096Sbellard count, intno, 317e8af50a3Sbellard env->pc, 3188d5f07faSbellard env->npc, env->regwptr[6]); 319e80cfcfcSbellard #if 1 3207fe48483Sbellard cpu_dump_state(env, logfile, fprintf, 0); 321e8af50a3Sbellard { 322e8af50a3Sbellard int i; 323e8af50a3Sbellard uint8_t *ptr; 324e80cfcfcSbellard 325e8af50a3Sbellard fprintf(logfile, " code="); 326e80cfcfcSbellard ptr = (uint8_t *)env->pc; 327e8af50a3Sbellard for(i = 0; i < 16; i++) { 328e8af50a3Sbellard fprintf(logfile, " %02x", ldub(ptr + i)); 329e8af50a3Sbellard } 330e8af50a3Sbellard fprintf(logfile, "\n"); 331e8af50a3Sbellard } 332e8af50a3Sbellard #endif 333e8af50a3Sbellard count++; 334e8af50a3Sbellard } 335e8af50a3Sbellard #endif 336e80cfcfcSbellard #if !defined(CONFIG_USER_ONLY) 337e80cfcfcSbellard if (env->psret == 0) { 338878d3096Sbellard cpu_abort(cpu_single_env, "Trap 0x%02x while interrupts disabled, Error state", env->exception_index); 339e80cfcfcSbellard return; 340e80cfcfcSbellard } 341e80cfcfcSbellard #endif 342e8af50a3Sbellard env->psret = 0; 343e8af50a3Sbellard cwp = (env->cwp - 1) & (NWINDOWS - 1); 344e8af50a3Sbellard set_cwp(cwp); 345af7bf89bSbellard env->regwptr[9] = env->pc; 346af7bf89bSbellard env->regwptr[10] = env->npc; 347e8af50a3Sbellard env->psrps = env->psrs; 348e8af50a3Sbellard env->psrs = 1; 349e8af50a3Sbellard env->tbr = (env->tbr & TBR_BASE_MASK) | (intno << 4); 350e8af50a3Sbellard env->pc = env->tbr; 351e8af50a3Sbellard env->npc = env->pc + 4; 352e8af50a3Sbellard env->exception_index = 0; 353e8af50a3Sbellard } 354e8af50a3Sbellard 355af7bf89bSbellard target_ulong mmu_probe(target_ulong address, int mmulev) 356e80cfcfcSbellard { 357e80cfcfcSbellard target_phys_addr_t pde_ptr; 358e80cfcfcSbellard uint32_t pde; 359e80cfcfcSbellard 360e80cfcfcSbellard /* Context base + context number */ 361e80cfcfcSbellard pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 4); 36249be8030Sbellard pde = ldl_phys(pde_ptr); 36349be8030Sbellard 364e80cfcfcSbellard switch (pde & PTE_ENTRYTYPE_MASK) { 365e80cfcfcSbellard default: 366e80cfcfcSbellard case 0: /* Invalid */ 367e80cfcfcSbellard case 2: /* PTE, maybe should not happen? */ 368e80cfcfcSbellard case 3: /* Reserved */ 369e80cfcfcSbellard return 0; 370e80cfcfcSbellard case 1: /* L1 PDE */ 371e80cfcfcSbellard if (mmulev == 3) 372e80cfcfcSbellard return pde; 373e80cfcfcSbellard pde_ptr = ((address >> 22) & ~3) + ((pde & ~3) << 4); 37449be8030Sbellard pde = ldl_phys(pde_ptr); 375e80cfcfcSbellard 376e80cfcfcSbellard switch (pde & PTE_ENTRYTYPE_MASK) { 377e80cfcfcSbellard default: 378e80cfcfcSbellard case 0: /* Invalid */ 379e80cfcfcSbellard case 3: /* Reserved */ 380e80cfcfcSbellard return 0; 381e80cfcfcSbellard case 2: /* L1 PTE */ 382e80cfcfcSbellard return pde; 383e80cfcfcSbellard case 1: /* L2 PDE */ 384e80cfcfcSbellard if (mmulev == 2) 385e80cfcfcSbellard return pde; 386e80cfcfcSbellard pde_ptr = ((address & 0xfc0000) >> 16) + ((pde & ~3) << 4); 38749be8030Sbellard pde = ldl_phys(pde_ptr); 388e80cfcfcSbellard 389e80cfcfcSbellard switch (pde & PTE_ENTRYTYPE_MASK) { 390e80cfcfcSbellard default: 391e80cfcfcSbellard case 0: /* Invalid */ 392e80cfcfcSbellard case 3: /* Reserved */ 393e80cfcfcSbellard return 0; 394e80cfcfcSbellard case 2: /* L2 PTE */ 395e80cfcfcSbellard return pde; 396e80cfcfcSbellard case 1: /* L3 PDE */ 397e80cfcfcSbellard if (mmulev == 1) 398e80cfcfcSbellard return pde; 399e80cfcfcSbellard pde_ptr = ((address & 0x3f000) >> 10) + ((pde & ~3) << 4); 40049be8030Sbellard pde = ldl_phys(pde_ptr); 401e80cfcfcSbellard 402e80cfcfcSbellard switch (pde & PTE_ENTRYTYPE_MASK) { 403e80cfcfcSbellard default: 404e80cfcfcSbellard case 0: /* Invalid */ 405e80cfcfcSbellard case 1: /* PDE, should not happen */ 406e80cfcfcSbellard case 3: /* Reserved */ 407e80cfcfcSbellard return 0; 408e80cfcfcSbellard case 2: /* L3 PTE */ 409e80cfcfcSbellard return pde; 410e80cfcfcSbellard } 411e80cfcfcSbellard } 412e80cfcfcSbellard } 413e80cfcfcSbellard } 414e80cfcfcSbellard return 0; 415e80cfcfcSbellard } 416e80cfcfcSbellard 41755754d9eSbellard #ifdef DEBUG_MMU 418e80cfcfcSbellard void dump_mmu(void) 419e80cfcfcSbellard { 420af7bf89bSbellard target_ulong va, va1, va2; 421af7bf89bSbellard unsigned int n, m, o; 422af7bf89bSbellard target_phys_addr_t pde_ptr, pa; 423e80cfcfcSbellard uint32_t pde; 424e80cfcfcSbellard 425e80cfcfcSbellard printf("MMU dump:\n"); 426e80cfcfcSbellard pde_ptr = (env->mmuregs[1] << 4) + (env->mmuregs[2] << 4); 42749be8030Sbellard pde = ldl_phys(pde_ptr); 428af7bf89bSbellard printf("Root ptr: " TARGET_FMT_lx ", ctx: %d\n", env->mmuregs[1] << 4, env->mmuregs[2]); 429e80cfcfcSbellard for (n = 0, va = 0; n < 256; n++, va += 16 * 1024 * 1024) { 430e80cfcfcSbellard pde_ptr = mmu_probe(va, 2); 431e80cfcfcSbellard if (pde_ptr) { 432e80cfcfcSbellard pa = cpu_get_phys_page_debug(env, va); 433af7bf89bSbellard printf("VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PDE: " TARGET_FMT_lx "\n", va, pa, pde_ptr); 434e80cfcfcSbellard for (m = 0, va1 = va; m < 64; m++, va1 += 256 * 1024) { 435e80cfcfcSbellard pde_ptr = mmu_probe(va1, 1); 436e80cfcfcSbellard if (pde_ptr) { 437e80cfcfcSbellard pa = cpu_get_phys_page_debug(env, va1); 438af7bf89bSbellard printf(" VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PDE: " TARGET_FMT_lx "\n", va1, pa, pde_ptr); 439e80cfcfcSbellard for (o = 0, va2 = va1; o < 64; o++, va2 += 4 * 1024) { 440e80cfcfcSbellard pde_ptr = mmu_probe(va2, 0); 441e80cfcfcSbellard if (pde_ptr) { 442e80cfcfcSbellard pa = cpu_get_phys_page_debug(env, va2); 443af7bf89bSbellard printf(" VA: " TARGET_FMT_lx ", PA: " TARGET_FMT_lx " PTE: " TARGET_FMT_lx "\n", va2, pa, pde_ptr); 444e80cfcfcSbellard } 445e80cfcfcSbellard } 446e80cfcfcSbellard } 447e80cfcfcSbellard } 448e80cfcfcSbellard } 449e80cfcfcSbellard } 450e80cfcfcSbellard printf("MMU dump ends\n"); 451e80cfcfcSbellard } 45255754d9eSbellard #endif 453