mmSTLB_CACHE_INV_BASE_39_8
WREG32(mmSTLB_CACHE_INV_BASE_39_8, prop->mmu_cache_mng_addr >> 8);
WREG32(mmSTLB_CACHE_INV_BASE_39_8,