mark_page_dirty
mark_page_dirty(vcpu->kvm, gfn);
mark_page_dirty(kvm, gfn);
mark_page_dirty(kvm, gfn);
mark_page_dirty(kvm, gfn);
mark_page_dirty(vcpu->kvm, orig_pte->raddr >> PAGE_SHIFT);
mark_page_dirty(vcpu->kvm, gfn);
mark_page_dirty(kvm, to >> PAGE_SHIFT);
mark_page_dirty(vcpu->kvm, gpa_to_gfn(q->guest_qaddr));
mark_page_dirty(gmap->kvm, gfn);
mark_page_dirty(gmap->kvm, gfn);
mark_page_dirty(kvm, adapter_int->ind_gaddr >> PAGE_SHIFT);
mark_page_dirty(kvm, adapter_int->summary_gaddr >> PAGE_SHIFT);
mark_page_dirty(kvm, gpa_to_gfn(gpa));
mark_page_dirty(kvm, gfn); \
void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
EXPORT_SYMBOL_FOR_KVM_INTERNAL(mark_page_dirty);