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.
rkpcie
19 releases since OpenBSD 6.3; the text changed 1 time.