Searched refs:VCPU_EXREG_PDPTR (Results 1 - 7 of 7) sorted by relevance

/linux-master/arch/x86/kvm/
H A Dkvm_cache_regs.h140 if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR))
141 static_call(kvm_x86_cache_reg)(vcpu, VCPU_EXREG_PDPTR);
H A Dx86.c898 * Marking VCPU_EXREG_PDPTR dirty doesn't work for !tdp_enabled.
905 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);
11853 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR);
/linux-master/arch/x86/kvm/vmx/
H A Dvmx.h627 (1 << VCPU_EXREG_PDPTR) | \
H A Dvmx.c2474 case VCPU_EXREG_PDPTR:
3229 if (!kvm_register_is_dirty(vcpu, VCPU_EXREG_PDPTR))
3252 kvm_register_mark_available(vcpu, VCPU_EXREG_PDPTR);
/linux-master/arch/x86/kvm/svm/
H A Dsvm.h377 #define SVM_REGS_LAZY_LOAD_SET (1 << VCPU_EXREG_PDPTR)
H A Dsvm.c1618 case VCPU_EXREG_PDPTR:
/linux-master/arch/x86/include/asm/
H A Dkvm_host.h189 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator in enum:kvm_reg

Completed in 241 milliseconds