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 |