kvm_psci_vcpu_off  241 virt/kvm/arm/psci.c 		kvm_psci_vcpu_off(vcpu);
kvm_psci_vcpu_off  345 virt/kvm/arm/psci.c 		kvm_psci_vcpu_off(vcpu);