Searched refs:mark_page_dirty (Results 1 – 6 of 6) sorted by relevance
125 mark_page_dirty(vcpu->kvm, orig_pte->raddr >> PAGE_SHIFT); in kvmppc_mmu_map_page()
209 mark_page_dirty(vcpu->kvm, orig_pte->raddr >> PAGE_SHIFT); in kvmppc_mmu_map_page()
246 mark_page_dirty(vcpu->kvm, table_gfn); in FNAME()298 mark_page_dirty(vcpu->kvm, table_gfn); in FNAME()
2272 mark_page_dirty(vcpu->kvm, gfn); in set_spte()
436 void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
1362 mark_page_dirty(kvm, gfn); in kvm_write_guest_page()1512 void mark_page_dirty(struct kvm *kvm, gfn_t gfn) in mark_page_dirty() function