|
@@ -71,7 +71,7 @@ int psci_cpu_disable(unsigned int cpu)
|
|
|
return 0;
|
|
|
}
|
|
|
|
|
|
-void __ref psci_cpu_die(unsigned int cpu)
|
|
|
+void psci_cpu_die(unsigned int cpu)
|
|
|
{
|
|
|
u32 state = PSCI_POWER_STATE_TYPE_POWER_DOWN <<
|
|
|
PSCI_0_2_POWER_STATE_TYPE_SHIFT;
|
|
@@ -83,7 +83,7 @@ void __ref psci_cpu_die(unsigned int cpu)
|
|
|
panic("psci: cpu %d failed to shutdown\n", cpu);
|
|
|
}
|
|
|
|
|
|
-int __ref psci_cpu_kill(unsigned int cpu)
|
|
|
+int psci_cpu_kill(unsigned int cpu)
|
|
|
{
|
|
|
int err, i;
|
|
|
|