andrew c30acd3bb8 Add psci for arm64. This is currently used when rebooting and powering off ...

in qemu.

Sponsored by:	The FreeBSD Foundation

2015-04-13 16:41:33 +00:00

..

psci_arm64.S

…

psci_arm.S

…

psci.c

…

psci.h

…