freebsd-nq/sys/dev/psci
Andrew Turner 100a6d1905 Use int for the pcpu_ssbd argument. This is included from userland and may
not include the needed headers to get the bool definition.

Reported by:	manu
Pointy hat to:	andrew
Sponsored by:	DARPA, AFRL
2018-07-31 15:08:02 +00:00
..
psci_arm64.S
psci_arm.S arm: add .arch_extension sec for smc instruction 2017-06-18 00:08:38 +00:00
psci.c psci: Add \n at the end of printf 2018-07-06 17:39:48 +00:00
psci.h Move psci_call to a header file so we can use it in other files to 2018-06-13 15:24:07 +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 Use int for the pcpu_ssbd argument. This is included from userland and may 2018-07-31 15:08:02 +00:00