OpenBSD manual page server

Manual Page Search Parameters

XIVE(4) Device Drivers Manual (powerpc64) XIVE(4)

xiveXIVE interrupt controller

xive* at fdt?

The xive driver provides support for the XIVE interrupt controller found on POWER9 CPUs.

intro(4), xicp(4), xics(4)

The xive driver first appeared in OpenBSD 6.8.

The xive driver was written by Mark Kettenis <kettenis@openbsd.org>.

October 3, 2020 OpenBSD-current