AMPINTC(4)

NAME
ampintc, ampintcmsi - ARM generic interrupt controller

SYNOPSIS
ampintc* at fdt?
ampintcmsi* at fdt?

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

SEE ALSO
ARM Generic Interrupt Controller Architecture Specification.