/* Flush the mmu and reset associated register to default values.  */
void __init init_mmu(void)
/* Flush the mmu and reset associated register to default values.  */
void __init init_mmu(void)
{
	set_itlbcfg_register(0);
	set_dtlbcfg_register(0);
	flush_tlb_all();
	set_rasid_register(ASID_USER_FIRST);
	set_ptevaddr_register(PGTABLE_START);
}