kvmhv_nestedv2_flush_vcpu
int kvmhv_nestedv2_flush_vcpu(struct kvm_vcpu *vcpu, u64 time_limit);
rc = kvmhv_nestedv2_flush_vcpu(vcpu, time_limit);
EXPORT_SYMBOL_GPL(kvmhv_nestedv2_flush_vcpu);