AMPINTC(4) | Device Drivers Manual (armv7) | AMPINTC(4)

# 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.

October 20, 2022 | Debian