DART_TTBR
readl(dart->regs + DART_TTBR(dart, sid, idx));
dart->regs + DART_TTBR(dart, sid, idx));
writel(0, dart->regs + DART_TTBR(dart, sid, idx));