[U-Boot] MMU init code in uboot for MX31 PDK

Hi Magnus/all,

Where does the mmu_init code in the uboot code for mx31 pdk reside? I am looking for things with MMU initialization like setting the actual base, virtual base and the TLB settings.

Can anyone throw light on the same?Thanks in advance!!

-Munro.