psci_call
return psci_call(psci_functions[PSCI_FUNC_VERSION], 0, 0, 0);
return psci_call(psci_functions[PSCI_FUNC_CPU_ON], target_cpu,
return psci_call(psci_functions[PSCI_FUNC_CPU_OFF], 0, 0, 0);
return psci_call(psci_functions[PSCI_FUNC_CPU_SUSPEND], power_state,
return psci_call(psci_functions[PSCI_FUNC_AFFINITY_INFO],
psci_call(psci_functions[PSCI_FUNC_SYSTEM_OFF], 0, 0, 0);
psci_call(psci_functions[PSCI_FUNC_SYSTEM_RESET], 0, 0, 0);
return psci_call(psci_functions[PSCI_FUNC_FEATURES], fid, 0, 0);
int psci_call(register_t, register_t, register_t, register_t);