Home
last modified time | relevance | path

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

/Linux-v4.19/arch/x86/kvm/
Dkvm_cache_regs.h42 if (!test_bit(VCPU_EXREG_PDPTR, in kvm_pdptr_read()
44 kvm_x86_ops->cache_reg(vcpu, (enum kvm_reg)VCPU_EXREG_PDPTR); in kvm_pdptr_read()
Dvmx.c4354 case VCPU_EXREG_PDPTR: in vmx_cache_reg()
5169 if (!test_bit(VCPU_EXREG_PDPTR, in ept_load_pdptrs()
5192 __set_bit(VCPU_EXREG_PDPTR, in ept_save_pdptrs()
5194 __set_bit(VCPU_EXREG_PDPTR, in ept_save_pdptrs()
10904 | (1 << VCPU_EXREG_PDPTR) in vmx_vcpu_run()
Dsvm.c2309 case VCPU_EXREG_PDPTR: in svm_cache_reg()
5756 vcpu->arch.regs_avail &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
5757 vcpu->arch.regs_dirty &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
Dx86.c613 __set_bit(VCPU_EXREG_PDPTR, in load_pdptrs()
615 __set_bit(VCPU_EXREG_PDPTR, in load_pdptrs()
634 if (!test_bit(VCPU_EXREG_PDPTR, in pdptrs_changed()
/Linux-v4.19/arch/x86/include/asm/
Dkvm_host.h155 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator