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

[alfred steele]

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!!

-Alfred