REVO51_PT2258S_SDA
envy_gpio_i2c_start_bit(sc, REVO51_PT2258S_SDA, REVO51_PT2258S_SCL);
envy_gpio_i2c_byte_out(sc, REVO51_PT2258S_SDA, REVO51_PT2258S_SCL,
envy_gpio_i2c_byte_out(sc, REVO51_PT2258S_SDA,
envy_gpio_i2c_byte_out(sc, REVO51_PT2258S_SDA,
envy_gpio_i2c_byte_out(sc, REVO51_PT2258S_SDA,
envy_gpio_i2c_stop_bit(sc, REVO51_PT2258S_SDA, REVO51_PT2258S_SCL);