Home
last modified time | relevance | path

Searched refs:VCPU_EXREG_PDPTR (Results 1 – 5 of 5) sorted by relevance

/arch/x86/kvm/
Dkvm_cache_regs.h82 if (!test_bit(VCPU_EXREG_PDPTR, in kvm_pdptr_read()
84 kvm_x86_ops->cache_reg(vcpu, (enum kvm_reg)VCPU_EXREG_PDPTR); in kvm_pdptr_read()
Dsvm.c2427 case VCPU_EXREG_PDPTR: in svm_cache_reg()
5874 vcpu->arch.regs_avail &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
5875 vcpu->arch.regs_dirty &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
Dx86.c724 __set_bit(VCPU_EXREG_PDPTR, in load_pdptrs()
726 __set_bit(VCPU_EXREG_PDPTR, in load_pdptrs()
745 if (!test_bit(VCPU_EXREG_PDPTR, in pdptrs_changed()
/arch/x86/kvm/vmx/
Dvmx.c2278 case VCPU_EXREG_PDPTR: in vmx_cache_reg()
2957 if (!test_bit(VCPU_EXREG_PDPTR, in ept_load_pdptrs()
2980 __set_bit(VCPU_EXREG_PDPTR, in ept_save_pdptrs()
2982 __set_bit(VCPU_EXREG_PDPTR, in ept_save_pdptrs()
6710 | (1 << VCPU_EXREG_PDPTR) in vmx_vcpu_run()
/arch/x86/include/asm/
Dkvm_host.h163 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator