APPLE_SART0_PADDR
writel(paddr_shifted, sart->regs + APPLE_SART0_PADDR(index));
phys_addr_t paddr_ = readl(sart->regs + APPLE_SART0_PADDR(index));