kvm_arm_vcpu_power_off
void kvm_arm_vcpu_power_off(struct kvm_vcpu *vcpu);
kvm_arm_vcpu_power_off(vcpu);