Home
last modified time | relevance | path

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

/Linux-v5.15/arch/x86/kvm/
Dkvm_cache_regs.h122 if (!kvm_register_is_available(vcpu, VCPU_EXREG_PDPTR)) in kvm_pdptr_read()
123 static_call(kvm_x86_cache_reg)(vcpu, VCPU_EXREG_PDPTR); in kvm_pdptr_read()
Dx86.c850 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in load_pdptrs()
10466 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in __set_sregs2()
/Linux-v5.15/arch/x86/kvm/vmx/
Dvmx.h442 | (1 << VCPU_EXREG_PDPTR) in BUILD_CONTROLS_SHADOW()
Dvmx.c2253 case VCPU_EXREG_PDPTR: in vmx_cache_reg()
2973 if (!kvm_register_is_dirty(vcpu, VCPU_EXREG_PDPTR)) in vmx_ept_load_pdptrs()
2996 kvm_register_mark_dirty(vcpu, VCPU_EXREG_PDPTR); in ept_save_pdptrs()
/Linux-v5.15/arch/x86/include/asm/
Dkvm_host.h173 VCPU_EXREG_PDPTR = NR_VCPU_REGS, enumerator
/Linux-v5.15/arch/x86/kvm/svm/
Dsvm.c1523 case VCPU_EXREG_PDPTR: in svm_cache_reg()
3886 kvm_register_clear_available(vcpu, VCPU_EXREG_PDPTR); in svm_vcpu_run()