envy_gpio_i2c_byte_out
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,
void envy_gpio_i2c_byte_out(struct envy_softc *, int, int, int);