Home
last modified time | relevance | path

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

/linux-4.1.27/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.c1366 case VCPU_EXREG_PDPTR: in svm_cache_reg()
4008 vcpu->arch.regs_avail &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
4009 vcpu->arch.regs_dirty &= ~(1 << VCPU_EXREG_PDPTR); in svm_vcpu_run()
Dvmx.c2844 case VCPU_EXREG_PDPTR: in vmx_cache_reg()
3506 if (!test_bit(VCPU_EXREG_PDPTR, in ept_load_pdptrs()
3529 __set_bit(VCPU_EXREG_PDPTR, in ept_save_pdptrs()
3531 __set_bit(VCPU_EXREG_PDPTR, in ept_save_pdptrs()
8337 | (1 << VCPU_EXREG_PDPTR) in vmx_vcpu_run()
Dx86.c535 __set_bit(VCPU_EXREG_PDPTR, in load_pdptrs()
537 __set_bit(VCPU_EXREG_PDPTR, in load_pdptrs()
556 if (!test_bit(VCPU_EXREG_PDPTR, in pdptrs_changed()
/linux-4.1.27/arch/x86/include/asm/
Dkvm_host.h120 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator