Andrew Turner 7ad1ac7d6a Rework the PSCI cpu on code to allow it to work before device drivers have ... started. This allows this functions to be used with the regular ARM SMP initialisation sequence.		2015-05-24 11:08:06 +00:00
..
psci_arm64.S
psci_arm.S
psci.c
psci.h