A64_PLL_CPUX_CTRL_REG
reg = SXIREAD4(sc, A64_PLL_CPUX_CTRL_REG);
SXIWRITE4(sc, A64_PLL_CPUX_CTRL_REG, reg);
while ((SXIREAD4(sc, A64_PLL_CPUX_CTRL_REG) &