arch/x86/kvm/kvm_cache_regs.h

158

if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR))

arch/x86/kvm/kvm_cache_regs.h

159

kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_PDPTR);

arch/x86/kvm/svm/svm.c

1484

case VCPU_EXREG_PDPTR:

arch/x86/kvm/svm/svm.h

444

#define SVM_REGS_LAZY_LOAD_SET (1 << VCPU_EXREG_PDPTR)

arch/x86/kvm/vmx/vmx.c

2646

case VCPU_EXREG_PDPTR:

arch/x86/kvm/vmx/vmx.c

3462

if (!kvm_register_is_dirty(vcpu, VCPU_EXREG_PDPTR))

arch/x86/kvm/vmx/vmx.c

3485

kvm_register_mark_available(vcpu, VCPU_EXREG_PDPTR);

arch/x86/kvm/vmx/vmx.h

629

(1 << VCPU_EXREG_PDPTR) | \

arch/x86/kvm/x86.c

1098

kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);

arch/x86/kvm/x86.c

12472

kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);