OpenBSD manual page server

Manual Page Search Parameters

INTC(4) Device Drivers Manual (armv7) INTC(4)

intcTexas Instruments interrupt controller device

intc* at fdt?

The intc driver provides support for the interrupt controller device integrated in OMAP and AM335X SoCs.

The intc device driver first appeared in OpenBSD 5.4.

The intc driver was written by Dale Rahn <>.

August 6, 2016 OpenBSD-current