MMU_CACHE_MNG_ADDR
prop->mmu_cache_mng_addr = MMU_CACHE_MNG_ADDR;
#define DRAM_DRIVER_END_ADDR (MMU_CACHE_MNG_ADDR + MMU_CACHE_MNG_SIZE +\
lower_32_bits(MMU_CACHE_MNG_ADDR >> 8));
WREG32(mmSTLB_CACHE_INV_BASE_49_40, MMU_CACHE_MNG_ADDR >> 40);
#define DRAM_DRIVER_END_ADDR (MMU_CACHE_MNG_ADDR + \