init_mmu(void)
{
- /*
+ /*
* First populate the relocation registers, all zero since we want an
* identity mapping, except the highest page that we remap to the physical MMIO
* range.
SET(KISAR6,PAR_PAF,0000000);
SET(KISAR7,PAR_PAF,0177600);
- /*
- * Now populate the page descriptor registers. See EK-KDJ1B-UG page 1-19
- * for details of each field.
+ /*
+ * Now populate the page descriptor registers. See EK-KDJ1B-UG page 1-19
+ * for details of each field.
*/
uint16_t data = 0;
SET(data,PDR_BYPASCACHE,0);
KISDR6 = data;
KISDR7 = data;
- /*
- * Enable the MMU with a 22-bit mapping.
- */
- SET(MMR3,MMR3_KRNSPLTID,0);
+ /*
+ * Enable the MMU with a 22-bit mapping.
+ */
+ SET(MMR3,MMR3_KRNSPLTID,0);
SET(MMR3,MMR3_EN_22BIT,1);
SET(MMR0,MMR0_EN_MMU,1);
}