__kvm_host_psci_cpu_entry
__kvm_host_psci_cpu_entry(pc, r0);
__kvm_host_psci_cpu_entry(boot_args->pc, boot_args->r0);