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