PI2C_VOLTAGE_HIGH
pxa2x0_pi2c_setvoltage(sc->sc_iot, sc->sc_pm_ioh, PI2C_VOLTAGE_HIGH);
printf("xscale core voltage: %s\n", value == PI2C_VOLTAGE_HIGH ?
PI2C_VOLTAGE_HIGH);
PI2C_VOLTAGE_HIGH);
PI2C_VOLTAGE_HIGH);
PI2C_VOLTAGE_HIGH);