Symbol: gpio_intel_write_pin
sys/bus/gpio/gpio_intel/gpio_intel.c
423
DEVMETHOD(gpio_write_pin, gpio_intel_write_pin),
sys/bus/gpio/gpio_intel/gpio_intel.c
71
static void gpio_intel_write_pin(device_t dev, void *cookie, int value);