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.