这是indexloc提供的服务,不要输入任何密码

OpenBSD manual page server

Manual Page Search Parameters

PLIC(4) Device Drivers Manual (riscv64) PLIC(4)

plicPlatform-Level Interrupt Controller

plic* at fdt?

The plic driver supports the RISC-V Platform-Level Interrupt Controller (PLIC).

June 18, 2021 OpenBSD-current