IOMUX_GPR13_SATA_SPEED
IOMUX_GPR13_SATA_SPEED |
v |= __SHIFTIN(1, IOMUX_GPR13_SATA_SPEED); /* 3.0GHz */