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

AMPINTC(4) - Device Drivers Manual (armv7)

NAME #

ampintc, ampintcmsi - Arm generic interrupt controller v1/v2

SYNOPSIS #

ampintc* at fdt? ampintcmsi* at fdt?

DESCRIPTION #

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

SEE ALSO #

ARM Generic Interrupt Controller Architecture Specification, ARM IHI 0048.

OpenBSD 7.5 - October 20, 2022