mark_page_dirty  1201 arch/x86/kvm/mmu.c 		mark_page_dirty(vcpu->kvm, gfn);
mark_page_dirty   179 arch/x86/kvm/paging_tmpl.h 			mark_page_dirty(vcpu->kvm, table_gfn);
mark_page_dirty   212 arch/x86/kvm/paging_tmpl.h 		mark_page_dirty(vcpu->kvm, table_gfn);
mark_page_dirty   611 arch/x86/kvm/x86.c 	mark_page_dirty(v->kvm, vcpu->time >> PAGE_SHIFT);
mark_page_dirty  2795 arch/x86/kvm/x86.c 	mark_page_dirty(vcpu->kvm, apic->vapic_addr >> PAGE_SHIFT);
mark_page_dirty   206 include/linux/kvm_host.h void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
mark_page_dirty   900 virt/kvm/kvm_main.c 	mark_page_dirty(kvm, gfn);