K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2015-04-13T16:41:33.816115Z
K 7
svn:log
V 122
Add psci for arm64. This is currently used when rebooting and powering off
in qemu.

Sponsored by:	The FreeBSD Foundation

END