| 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 |