PSCI_FUNC_SYSTEM_RESET
psci_call(psci_functions[PSCI_FUNC_SYSTEM_RESET], 0, 0, 0);
[PSCI_FUNC_SYSTEM_RESET] = PSCI_SYSTEM_RESET,