freebsd-skq/sys/dev/psci
..
psci_arm64.S
psci_arm.S
psci.c
psci.h