Searched refs:VMCB_CACHE_TPR (Results 1 – 2 of 2) sorted by relevance
122 #define VMCB_CACHE_TPR BIT(3) /* V_TPR to V_INTR_VECTOR */ macro
991 svm_set_dirty(sc, vcpu, VMCB_CACHE_TPR); in svm_enable_intr_window_exiting()1010 svm_set_dirty(sc, vcpu, VMCB_CACHE_TPR); in svm_disable_intr_window_exiting()1692 svm_set_dirty(sc, vcpu, VMCB_CACHE_TPR); in svm_inject_vlapic()