Searched refs:mark_page_dirty (Results 1 - 4 of 4) sorted by relevance
/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/drivers/kvm/ |
H A D | paging_tmpl.h | 132 mark_page_dirty(vcpu->kvm, table_gfn); 192 mark_page_dirty(kvm, walker->table_gfn[walker->level - 1]); 363 mark_page_dirty(vcpu->kvm, gfn); 369 mark_page_dirty(vcpu->kvm, gfn);
|
H A D | kvm.h | 467 void mark_page_dirty(struct kvm *kvm, gfn_t gfn);
|
H A D | kvm_main.c | 240 mark_page_dirty(vcpu->kvm, gfn); 968 void mark_page_dirty(struct kvm *kvm, gfn_t gfn) function 1079 mark_page_dirty(vcpu->kvm, gpa >> PAGE_SHIFT); 1406 mark_page_dirty(vcpu->kvm, para_state_gpa >> PAGE_SHIFT); 1436 mark_page_dirty(vcpu->kvm, hypercall_gpa >> PAGE_SHIFT);
|
H A D | mmu.c | 786 mark_page_dirty(vcpu->kvm, v >> PAGE_SHIFT); 996 mark_page_dirty(vcpu->kvm, gaddr >> PAGE_SHIFT);
|
Completed in 57 milliseconds