voyager_gpio_dir
voyager_gpio_dir(sc, 0xffffffff, GPIO_I2C_BITS);
voyager_gpio_dir(sc, 0xffffffff, 1 << 16);