Home
last modified time | relevance | path

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

/linux-6.3-rc2/arch/x86/kvm/
A Dkvm_cache_regs.h140 if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR)) in kvm_pdptr_read()
141 static_call(kvm_x86_cache_reg)(vcpu, VCPU_EXREG_PDPTR); in kvm_pdptr_read()
A Dx86.c899 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()
11486 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in __set_sregs2()
/linux-6.3-rc2/arch/x86/kvm/vmx/
A Dvmx.h635 (1 << VCPU_EXREG_PDPTR) | \
A Dvmx.c2487 case VCPU_EXREG_PDPTR: in vmx_cache_reg()
3230 if (!kvm_register_is_dirty(vcpu, VCPU_EXREG_PDPTR)) in vmx_ept_load_pdptrs()
3253 kvm_register_mark_available(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs()
/linux-6.3-rc2/arch/x86/kvm/svm/
A Dsvm.h380 #define SVM_REGS_LAZY_LOAD_SET (1 << VCPU_EXREG_PDPTR)
A Dsvm.c1562 case VCPU_EXREG_PDPTR: in svm_cache_reg()
/linux-6.3-rc2/arch/x86/include/asm/
A Dkvm_host.h180 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator

Completed in 54 milliseconds