PORTPHY3CFG       283 drivers/ata/ahci_xgene.c 	writel(0x13081008, mmio + PORTPHY3CFG);
PORTPHY3CFG       284 drivers/ata/ahci_xgene.c 	readl(mmio + PORTPHY3CFG); /* Force a barrier */