Searched refs:kvm_register_mark_dirty (Results 1 – 5 of 5) sorted by relevance
| /linux/arch/x86/kvm/ |
| H A D | kvm_cache_regs.h | 87 static inline void kvm_register_mark_dirty(struct kvm_vcpu *vcpu, in kvm_register_mark_dirty() function 131 kvm_register_mark_dirty(vcpu, reg); in kvm_register_write_raw()
|
| H A D | x86.c | 1098 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs() 1479 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_set_cr3() 12379 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in __set_sregs_common() 12472 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in __set_sregs2() 12999 kvm_register_mark_dirty(vcpu, VCPU_REGS_RSP); in kvm_vcpu_reset() 13017 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in kvm_vcpu_reset()
|
| /linux/arch/x86/kvm/svm/ |
| H A D | svm.c | 4071 kvm_register_mark_dirty(vcpu, VCPU_EXREG_ERAPS); in svm_flush_tlb_guest()
|
| /linux/arch/x86/kvm/vmx/ |
| H A D | nested.c | 1192 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in nested_vmx_load_cr3()
|
| H A D | vmx.c | 3584 kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3); in vmx_set_cr0()
|