> Do you have an example of a driver supporting GPIO pin interrupts that
> I can take a look at, for my own curiosity/education?

See e.g. sys/dev/acpi/sdhc_acpi.c. I'm working on applying a similar
logic to pckbc_acpi and will send an updated diff in the not-so-distant
future.