[OpenBSD]

Manual Page Search Parameters

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

NAME

ampintcARM generic interrupt controller

SYNOPSIS

ampintc* at fdt?

DESCRIPTION

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

SEE ALSO

ARM Generic Interrupt Controller Architecture Specification.
September 18, 2016 OpenBSD-current