OpenBSD manual page server

Manual Page Search Parameters

AMPINTC(4) Device Drivers Manual (arm64) AMPINTC(4)

ampintc, ampintcmsiARM generic interrupt controller

ampintc* at fdt?
ampintcmsi* at fdt?

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

ARM Generic Interrupt Controller Architecture Specification.

April 7, 2018 OpenBSD-current