__kvmhv_nestedv2_mark_dirty
int __kvmhv_nestedv2_mark_dirty(struct kvm_vcpu *vcpu, u16 iden);
return __kvmhv_nestedv2_mark_dirty(vcpu, iden);
EXPORT_SYMBOL_GPL(__kvmhv_nestedv2_mark_dirty);