psci_cpu_on
return psci_cpu_on(func_id, host_ctxt);
GUEST_ASSERT(!psci_cpu_on(target_cpu, CPU_ON_ENTRY_ADDR, CPU_ON_CONTEXT_ID));