arch/x86/kvm/regs.h

225

kvm_register_mark_dirty(vcpu, reg);

arch/x86/kvm/regs.h

245

kvm_register_mark_dirty(vcpu, VCPU_REG_RIP);

arch/x86/kvm/svm/svm.c

4239

kvm_register_mark_dirty(vcpu, VCPU_REG_ERAPS);

arch/x86/kvm/vmx/nested.c

1257

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);

arch/x86/kvm/vmx/vmx.c

3507

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);

arch/x86/kvm/x86.c

1068

kvm_register_mark_dirty(vcpu, VCPU_REG_PDPTR);

arch/x86/kvm/x86.c

12418

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);

arch/x86/kvm/x86.c

12509

kvm_register_mark_dirty(vcpu, VCPU_REG_PDPTR);

arch/x86/kvm/x86.c

13036

kvm_register_mark_dirty(vcpu, VCPU_REGS_RSP);

arch/x86/kvm/x86.c

13054

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);

arch/x86/kvm/x86.c

14277

kvm_register_mark_dirty(vcpu, VCPU_REG_ERAPS);

arch/x86/kvm/x86.c

1449

kvm_register_mark_dirty(vcpu, VCPU_REG_CR3);