Searched refs:kvm_vcpu_mark_page_dirty (Results 1 – 7 of 7) sorted by relevance
212 kvm_vcpu_mark_page_dirty(vcpu, gfn); in kvm_hv_set_msr()
251 kvm_vcpu_mark_page_dirty(vcpu, table_gfn); in FNAME()
2556 kvm_vcpu_mark_page_dirty(vcpu, gfn); in set_spte()2889 kvm_vcpu_mark_page_dirty(vcpu, gfn); in fast_pf_fix_direct_spte()
4570 kvm_vcpu_mark_page_dirty(vcpu, gpa >> PAGE_SHIFT); in emulator_cmpxchg_emulated()
7890 kvm_vcpu_mark_page_dirty(vcpu, gpa >> PAGE_SHIFT); in vmx_flush_pml_buffer()
658 void kvm_vcpu_mark_page_dirty(struct kvm_vcpu *vcpu, gfn_t gfn);
1945 void kvm_vcpu_mark_page_dirty(struct kvm_vcpu *vcpu, gfn_t gfn) in kvm_vcpu_mark_page_dirty() function1952 EXPORT_SYMBOL_GPL(kvm_vcpu_mark_page_dirty);