Home
last modified time | relevance | path

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

/linux-4.4.14/arch/x86/kvm/
Dkvm_cache_regs.h41 if (!test_bit(VCPU_EXREG_PDPTR, in kvm_pdptr_read()
43 kvm_x86_ops->cache_reg(vcpu, VCPU_EXREG_PDPTR); in kvm_pdptr_read()
Dsvm.c1281 case VCPU_EXREG_PDPTR: in svm_cache_reg()
3918 vcpu->arch.regs_avail &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
3919 vcpu->arch.regs_dirty &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
Dvmx.c2977 case VCPU_EXREG_PDPTR: in vmx_cache_reg()
3648 if (!test_bit(VCPU_EXREG_PDPTR, in ept_load_pdptrs()
3671 __set_bit(VCPU_EXREG_PDPTR, in ept_save_pdptrs()
3673 __set_bit(VCPU_EXREG_PDPTR, in ept_save_pdptrs()
8698 | (1 << VCPU_EXREG_PDPTR) in vmx_vcpu_run()
Dx86.c546 __set_bit(VCPU_EXREG_PDPTR, in load_pdptrs()
548 __set_bit(VCPU_EXREG_PDPTR, in load_pdptrs()
567 if (!test_bit(VCPU_EXREG_PDPTR, in pdptrs_changed()
/linux-4.4.14/arch/x86/include/asm/
Dkvm_host.h122 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator