void mmu_configure(uint32_t *tlb) { cp15_write_ttb((unsigned int)tlb); /* Program the domain access register */ /* only domain 15: access are not checked */ cp15_write_domain_access_control(0xC0000000); dsb(); isb(); }
void mmu_initialize(void) { board_setup_tlb(_tlb); cp15_write_ttb((unsigned int)_tlb); /* Program the domain access register */ /* only domain 15: access are not checked */ cp15_write_domain_access_control(0xC0000000); asm volatile("": : :"memory"); asm("dsb"); asm("isb"); }