Searched refs:v_tpr (Results 1 – 2 of 2) sorted by relevance
917 vlapic_set_cr8(vlapic, ctrl->v_tpr); in svm_update_virqinfo()1668 uint8_t v_tpr; in svm_inject_vlapic() local1682 v_tpr = vlapic_get_cr8(vlapic); in svm_inject_vlapic()1683 KASSERT(v_tpr <= 15, ("invalid v_tpr %x", v_tpr)); in svm_inject_vlapic()1684 if (ctrl->v_tpr != v_tpr) { in svm_inject_vlapic()1685 ctrl->v_tpr = v_tpr; in svm_inject_vlapic()
301 uint8_t v_tpr; /* 0x60: Virtual TPR */ member