arch/x86/kvm/kvm_cache_regs.h

131

kvm_register_mark_dirty(vcpu, reg);

arch/x86/kvm/svm/svm.c

4071

kvm_register_mark_dirty(vcpu, VCPU_EXREG_ERAPS);

arch/x86/kvm/vmx/nested.c

1192

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/vmx/vmx.c

3584

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/x86.c

1098

kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);

arch/x86/kvm/x86.c

12379

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/x86.c

12472

kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);

arch/x86/kvm/x86.c

12999

kvm_register_mark_dirty(vcpu, VCPU_REGS_RSP);

arch/x86/kvm/x86.c

13017

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);

arch/x86/kvm/x86.c

1479

kvm_register_mark_dirty(vcpu, VCPU_EXREG_CR3);