Symbol: tipmic_write_pin
sys/dev/acpi/tipmic.c
107
void tipmic_write_pin(void *, int, int);
sys/dev/acpi/tipmic.c
152
sc->sc_gpio.write_pin = tipmic_write_pin;