void mmu_init()
{
__asm__(
/*设置TBB,参考手册2.3.6小节*/
"ldr r0, =0x50000000\n"
"mcr p15, 0, r0, c2, c0, 0\n"
/*不进行域权限检查,参考手册2.3.7小节*/
"mvn r0, #0x0\n"
"mcr p15, 0, r0, c3, c0, 0\n"
/*使能MMU,参考手册2.3.5小节*/
"mrc p15, 0, r0, c1, c0, 0\n"
"orr r0, r0, #0x1\n"
"mcr p15, 0, r0, c1, c0, 0\n"
:
:
);
}