VCPU_EXREG_PDPTR
if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR))
kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_PDPTR);
case VCPU_EXREG_PDPTR:
#define SVM_REGS_LAZY_LOAD_SET (1 << VCPU_EXREG_PDPTR)
case VCPU_EXREG_PDPTR:
if (!kvm_register_is_dirty(vcpu, VCPU_EXREG_PDPTR))
kvm_register_mark_available(vcpu, VCPU_EXREG_PDPTR);
(1 << VCPU_EXREG_PDPTR) | \
kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);
kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);