Home
last modified time | relevance | path

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

/linux/arch/x86/kvm/vmx/
H A Dvmx.h631 BIT(VCPU_REG_PDPTR) | \
H A Dvmx.c2651 case VCPU_REG_PDPTR: in vmx_cache_reg()
3405 if (!kvm_register_is_dirty(vcpu, VCPU_REG_PDPTR)) in vmx_ept_load_pdptrs()
3426 kvm_register_mark_available(vcpu, VCPU_REG_PDPTR); in ept_save_pdptrs()
/linux/arch/x86/kvm/svm/
H A Dsvm.h503 #define SVM_REGS_LAZY_LOAD_SET (BIT(VCPU_REG_PDPTR))
H A Dnested.c722 kvm_register_mark_for_reload(vcpu, VCPU_REG_PDPTR); in nested_svm_load_cr3()
2122 kvm_register_mark_for_reload(vcpu, VCPU_REG_PDPTR); in svm_get_nested_state_pages()
H A Dsvm.c1535 case VCPU_REG_PDPTR: in svm_cache_reg()
/linux/arch/x86/include/asm/
H A Dkvm_host.h170 VCPU_REG_PDPTR, enumerator