| 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 |