8b52b1c5b2
Table to find if the hardware supports PSCI, and if so what method the kernel should use to interact with it. Obtained from: ABT Systems Ltd Sponsored by: The FreeBSD Foundation |
||
---|---|---|
.. | ||
psci_arm64.S | ||
psci_arm.S | ||
psci.c | ||
psci.h |