> From: Miguel Landaeta <miguel@miguel.cc>
> Date: Mon, 14 Oct 2024 11:49:29 +0100
> 
> On Thu, Oct 10, 2024 at 9:05 PM Mark Kettenis <mark.kettenis@xs4all.nl> wrote:
> >
> > Shouldn't be too difficult.  We do support GPIO pin interrupts for
> > other devices.  But it is probably best done after the initial driver
> > lands.
> 
> Do you have an example of a driver supporting GPIO pin interrupts that
> I can take a look at, for my own curiosity/education?

You could look at sys/dev/acpi/sdhc_acpi.c which uses an optional gpio
interrupt to detect card insertion.