OpenBSD manual page server

Manual Page Search Parameters

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

ampintc, ampintcmsiArm generic interrupt controller v1/v2

ampintc* at fdt?
ampintcmsi* at fdt?

The ampintc driver provides support for the Arm Generic Interrupt Controller (GIC) version 1 and version 2.

ARM Generic Interrupt Controller Architecture Specification, ARM IHI 0048.

October 20, 2022 OpenBSD-current