kvmhv_run_single_vcpu
int kvmhv_run_single_vcpu(struct kvm_vcpu *vcpu,
r = kvmhv_run_single_vcpu(vcpu, ~(u64)0,
r = kvmhv_run_single_vcpu(vcpu, hdec_exp, lpcr);