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