freebsd-skq/sys/dev/psci
Andrew Turner 7d9cff3d23 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