PSCI_FUNC_CPU_ON
return psci_call(psci_functions[PSCI_FUNC_CPU_ON], target_cpu,
[PSCI_FUNC_CPU_ON] = PSCI_CPU_ON,
psci_setfunc(PSCI_FUNC_CPU_ON, val);