Searched refs:v_tpr (Results 1 – 2 of 2) sorted by relevance
990 vlapic_set_cr8(vlapic, ctrl->v_tpr); in svm_update_virqinfo()1733 uint8_t v_tpr; in svm_inj_interrupts() local1880 v_tpr = vlapic_get_cr8(vlapic); in svm_inj_interrupts()1881 KASSERT(v_tpr <= 15, ("invalid v_tpr %#x", v_tpr)); in svm_inj_interrupts()1882 if (ctrl->v_tpr != v_tpr) { in svm_inj_interrupts()1884 ctrl->v_tpr, v_tpr); in svm_inj_interrupts()1885 ctrl->v_tpr = v_tpr; in svm_inj_interrupts()
269 uint8_t v_tpr; /* 0x60: V_TPR, guest CR8 */ member