[OpenBSD]

Manual Page Search Parameters

PSCI(4) Device Drivers Manual PSCI(4)

psci
Power State Coordination Interface

psci* at fdt?

The psci driver handles system reset and power down for systems that conform to the ARM Power State Coordination Interface specification.

Power State Coordination Interface (PSCI) specification, ARM DEN 0022C.
March 31, 2018 OpenBSD-current