return psci_ops.cpu_suspend(state[index - 1],
virt_to_phys(cpu_resume));
return psci_ops.cpu_suspend(state[index - 1],
virt_to_phys(cpu_resume));
/*
* idle state index 0 corresponds to wfi, should never be called
* from the cpu_suspend operations
/*
* idle state index 0 corresponds to wfi, should never be called
* from the cpu_suspend operations