kvm_vcpu_mark_page_dirty
kvm_vcpu_mark_page_dirty(vcpu, gfn);
kvm_vcpu_mark_page_dirty(vcpu, gfn);
kvm_vcpu_mark_page_dirty(vcpu, table_gfn);
kvm_vcpu_mark_page_dirty(vcpu, gpa >> PAGE_SHIFT);
kvm_vcpu_mark_page_dirty(vcpu, gpa_to_gfn(gpa));
void kvm_vcpu_mark_page_dirty(struct kvm_vcpu *vcpu, gfn_t gfn);
kvm_vcpu_mark_page_dirty(vcpu, map->gfn);
kvm_vcpu_mark_page_dirty(vcpu, map->gfn);
EXPORT_SYMBOL_FOR_KVM_INTERNAL(kvm_vcpu_mark_page_dirty);