Symbol: PL061_GPIOIC_REG
sys/dev/acpi/plgpio_acpi.c
199
PLGPIO_WRITE(sc, PL061_GPIOIC_REG, __BIT(pin));
sys/dev/acpi/plgpio_acpi.c
215
PLGPIO_WRITE(sc, PL061_GPIOIC_REG, mis);