Exemplo n.º 1
0
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();
}
Exemplo n.º 2
0
Arquivo: mmu.c Projeto: wugsh/wgs
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");
}