PMSAv7_RBAR
writel_relaxed(v, BASEADDR_V7M_SCB + PMSAv7_RBAR);
return readl_relaxed(BASEADDR_V7M_SCB + PMSAv7_RBAR);