andrew bb7e179225 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	Rework the PSCI cpu on code to allow it to work before device drivers have	2015-05-24 11:08:06 +00:00
psci.h