Symbol: to_gpio_device