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