/* * Copyright (c) 2006-2018, RT-Thread Development Team * * SPDX-License-Identifier: Apache-2.0 * * Change Logs: * Date Author Notes * 2012-01-10 bernard porting to AM1808 */ #include #include #include #include "cp15.h" #include "mmu.h" /* dump 2nd level page table */ void rt_hw_cpu_dump_page_table_2nd(rt_uint32_t *ptb) { int i; int fcnt = 0; for (i = 0; i < 256; i++) { rt_uint32_t pte2 = ptb[i]; if ((pte2 & 0x3) == 0) { if (fcnt == 0) rt_kprintf(" "); rt_kprintf("%04x: ", i); fcnt++; if (fcnt == 16) { rt_kprintf("fault\n"); fcnt = 0; } continue; } if (fcnt != 0) { rt_kprintf("fault\n"); fcnt = 0; } rt_kprintf(" %04x: %x: ", i, pte2); if ((pte2 & 0x3) == 0x1) { rt_kprintf("L,ap:%x,xn:%d,texcb:%02x\n", ((pte2 >> 7) | (pte2 >> 4))& 0xf, (pte2 >> 15) & 0x1, ((pte2 >> 10) | (pte2 >> 2)) & 0x1f); } else { rt_kprintf("S,ap:%x,xn:%d,texcb:%02x\n", ((pte2 >> 7) | (pte2 >> 4))& 0xf, pte2 & 0x1, ((pte2 >> 4) | (pte2 >> 2)) & 0x1f); } } } void rt_hw_cpu_dump_page_table(rt_uint32_t *ptb) { int i; int fcnt = 0; rt_kprintf("page table@%p\n", ptb); for (i = 0; i < 1024*4; i++) { rt_uint32_t pte1 = ptb[i]; if ((pte1 & 0x3) == 0) { rt_kprintf("%03x: ", i); fcnt++; if (fcnt == 16) { rt_kprintf("fault\n"); fcnt = 0; } continue; } if (fcnt != 0) { rt_kprintf("fault\n"); fcnt = 0; } rt_kprintf("%03x: %08x: ", i, pte1); if ((pte1 & 0x3) == 0x3) { rt_kprintf("LPAE\n"); } else if ((pte1 & 0x3) == 0x1) { rt_kprintf("pte,ns:%d,domain:%d\n", (pte1 >> 3) & 0x1, (pte1 >> 5) & 0xf); /* *rt_hw_cpu_dump_page_table_2nd((void*)((pte1 & 0xfffffc000) * - 0x80000000 + 0xC0000000)); */ } else if (pte1 & (1 << 18)) { rt_kprintf("super section,ns:%d,ap:%x,xn:%d,texcb:%02x\n", (pte1 >> 19) & 0x1, ((pte1 >> 13) | (pte1 >> 10))& 0xf, (pte1 >> 4) & 0x1, ((pte1 >> 10) | (pte1 >> 2)) & 0x1f); } else { rt_kprintf("section,ns:%d,ap:%x," "xn:%d,texcb:%02x,domain:%d\n", (pte1 >> 19) & 0x1, ((pte1 >> 13) | (pte1 >> 10))& 0xf, (pte1 >> 4) & 0x1, (((pte1 & (0x7 << 12)) >> 10) | ((pte1 & 0x0c) >> 2)) & 0x1f, (pte1 >> 5) & 0xf); } } } /* level1 page table, each entry for 1MB memory. */ volatile static unsigned long MMUTable[4*1024] __attribute__((aligned(16*1024))); void rt_hw_mmu_setmtt(rt_uint32_t vaddrStart, rt_uint32_t vaddrEnd, rt_uint32_t paddrStart, rt_uint32_t attr) { volatile rt_uint32_t *pTT; volatile int i, nSec; pTT = (rt_uint32_t *)MMUTable + (vaddrStart >> 20); nSec = (vaddrEnd >> 20) - (vaddrStart >> 20); for(i = 0; i <= nSec; i++) { *pTT = attr | (((paddrStart >> 20) + i) << 20); pTT++; } } unsigned long rt_hw_set_domain_register(unsigned long domain_val) { unsigned long old_domain; asm volatile ("mrc p15, 0, %0, c3, c0\n" : "=r" (old_domain)); asm volatile ("mcr p15, 0, %0, c3, c0\n" : :"r" (domain_val) : "memory"); return old_domain; } void rt_hw_init_mmu_table(struct mem_desc *mdesc, rt_uint32_t size) { /* set page table */ for(; size > 0; size--) { rt_hw_mmu_setmtt(mdesc->vaddr_start, mdesc->vaddr_end, mdesc->paddr_start, mdesc->attr); mdesc++; } } void rt_hw_mmu_init(void) { rt_cpu_dcache_clean_flush(); rt_cpu_icache_flush(); rt_hw_cpu_dcache_disable(); rt_hw_cpu_icache_disable(); rt_cpu_mmu_disable(); /*rt_hw_cpu_dump_page_table(MMUTable);*/ rt_hw_set_domain_register(0x55555555); rt_cpu_tlb_set(MMUTable); rt_cpu_mmu_enable(); rt_hw_cpu_icache_enable(); rt_hw_cpu_dcache_enable(); }