envy_gpio_i2c_stop_bit
envy_gpio_i2c_stop_bit(sc, REVO51_PT2258S_SDA, REVO51_PT2258S_SCL);
void envy_gpio_i2c_stop_bit(struct envy_softc *, int, int);