Manual Page Search Parameters

RKPCIE(4) Device Drivers Manual RKPCIE(4)

Rockchip RK3399 Host/PCIe bridge

rkpcie* at fdt?
pci* at rkpcie?

The rkpcie driver provides support for the PCIe controller found on the Rockchip RK3399 SoC.

intro(4), pci(4)

The rkpcie driver first appeared in OpenBSD 6.3.

The rkpcie driver was written by Mark Kettenis kettenis@openbsd.org.
January 3, 2018 OpenBSD-current