V7M_SCB_CTR
writel(cache_selector, BASEADDR_V7M_SCB + V7M_SCB_CTR);
return readl(BASEADDR_V7M_SCB + V7M_SCB_CTR);