John Baldwin 395bee1285 psci: Remove unused devclass arguments to DRIVER_MODULE.		2022-05-09 14:26:46 -07:00
..
psci.c	psci: Remove unused devclass arguments to DRIVER_MODULE.	2022-05-09 14:26:46 -07:00
psci.h	psci: finish psci_present implementation	2022-03-18 22:04:32 -05: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
smccc_arm.S	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