Searched refs:VCPU_EXREG_PDPTR (Results 1 – 6 of 6) sorted by relevance
158 if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR)) in kvm_pdptr_read()159 kvm_x86_call(cache_reg)(vcpu, VCPU_EXREG_PDPTR); in kvm_pdptr_read()
1098 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()12472 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in __set_sregs2()
444 #define SVM_REGS_LAZY_LOAD_SET (1 << VCPU_EXREG_PDPTR)
1484 case VCPU_EXREG_PDPTR: in svm_cache_reg()
196 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator
2646 case VCPU_EXREG_PDPTR: in vmx_cache_reg()3462 if (!kvm_register_is_dirty(vcpu, VCPU_EXREG_PDPTR)) in vmx_ept_load_pdptrs()3485 kvm_register_mark_available(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs()