/branches/arm/boot/arch/arm32/loader/mm.c |
---|
81,8 → 81,7 |
} |
/** Starts the MMU - initializes page table and enables paging. |
*/ |
/** Starts the MMU - initializes page table and enables paging. */ |
void mmu_start() { |
init_page_table(); |
set_ptl0_address(page_table); |