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
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
smccc_arm.S
smccc_arm64.S