__psci_cpu_off
return __psci_cpu_off(psci_0_1_function_ids.cpu_off, state);
return __psci_cpu_off(PSCI_0_2_FN_CPU_OFF, state);