[OpenBSD]

Manual Page Search Parameters
ampintc(4/armv7) ARM generic interrupt controller
ampintc, ampintcmsi(4/arm64) ARM generic interrupt controller

AMPINTC(4) Device Drivers Manual (armv7) AMPINTC(4)

ampintc
ARM generic interrupt controller

ampintc* at fdt?

The ampintc driver provides support for the ARM Generic Interrupt Controller (GIC).

ARM Generic Interrupt Controller Architecture Specification.
September 18, 2016 OpenBSD-current