PSCI_FUNC_CPU_OFF
return psci_call(psci_functions[PSCI_FUNC_CPU_OFF], 0, 0, 0);
[PSCI_FUNC_CPU_OFF] = PSCI_CPU_OFF,