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