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