freebsd-skq/sys/dev/psci
Andrew Turner c2dd354bf4 Create a new PSCI error code and use it to signal that starting the CPU is
impossible as the PSCI firmware is missing.

Sponsored by:	ABT Systmes Ltd
2016-10-25 14:18:27 +00:00
..
psci_arm64.S
psci_arm.S
psci.c
psci.h