Searched refs:old_vector (Results 1 – 1 of 1) sorted by relevance
136 int vector, old_vector; in synic_set_sint() local155 old_vector = synic_read_sint(synic, sint) & HV_SYNIC_SINT_VECTOR_MASK; in synic_set_sint()159 synic_update_vector(synic, old_vector); in synic_set_sint()