Symbol: tipmic_read_pin
sys/dev/acpi/tipmic.c
106
int tipmic_read_pin(void *, int);
sys/dev/acpi/tipmic.c
151
sc->sc_gpio.read_pin = tipmic_read_pin;