boot启动时已经用sysPhysMemDesc[]数组进行了虚拟内存到物理内存的映射，那为啥还需要sysStaticTlbDesc[]的Effective地址到Real地址的映射啊？？
------解决方案--------------------------------------------------------
Tornado supports two cooperating models for memory mapping. The first, the static model, allows mapping of memory blocks ranging from 1 KB to 256 MB in size by dedicating an individual processor TLB entry to each block. The second, the dynamic model, provides the ability to map physical memory in 4 KB pages using the remaining available TLB entries in a round-robin fashion.
------解决方案--------------------------------------------------------
sysStaticTlbDesc is the static model.
Such as flash/prom...will use the mode.
------解决方案--------------------------------------------------------
TLB的映射优先级高于PTE