Ruslan Bukin 7722d8c7c0 Add generic arm/arm64 secure-monitor SMCCC interface and switch ... PSCI code to use it. This interface will also be used by Intel Stratix 10 platform. This was not tested on arm due to lack of PSCI-enabled arm hardware lying around. Reviewed by: andrew Sponsored by: DARPA, AFRL Differential Revision: https://reviews.freebsd.org/D21439		2019-09-13 15:56:33 +00:00
..
psci.c	Add generic arm/arm64 secure-monitor SMCCC interface and switch	2019-09-13 15:56:33 +00:00
psci.h	Add generic arm/arm64 secure-monitor SMCCC interface and switch	2019-09-13 15:56:33 +00:00
smccc_arm64.S	Add generic arm/arm64 secure-monitor SMCCC interface and switch	2019-09-13 15:56:33 +00:00
smccc_arm.S	Add generic arm/arm64 secure-monitor SMCCC interface and switch	2019-09-13 15:56:33 +00:00
smccc.c	Use int for the pcpu_ssbd argument. This is included from userland and may	2018-07-31 15:08:02 +00:00
smccc.h	Add generic arm/arm64 secure-monitor SMCCC interface and switch	2019-09-13 15:56:33 +00:00