Searched refs:VCPU_EXREG_PDPTR (Results 1 – 6 of 6) sorted by relevance
110 if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR)) in kvm_pdptr_read()111 kvm_x86_ops.cache_reg(vcpu, VCPU_EXREG_PDPTR); in kvm_pdptr_read()
775 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()793 if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR)) in pdptrs_changed()
380 | (1 << VCPU_EXREG_PDPTR) in BUILD_CONTROLS_SHADOW()
2226 case VCPU_EXREG_PDPTR: in vmx_cache_reg()2950 if (!kvm_register_is_dirty(vcpu, VCPU_EXREG_PDPTR)) in vmx_ept_load_pdptrs()2973 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs()
1452 case VCPU_EXREG_PDPTR: in svm_cache_reg()3652 vcpu->arch.regs_avail &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()3653 vcpu->arch.regs_dirty &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
164 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator
