synic_read_sint
old_vector = synic_read_sint(synic, sint) & HV_SYNIC_SINT_VECTOR_MASK;
vector = synic_get_sint_vector(synic_read_sint(synic, sint));
if (synic_get_sint_vector(synic_read_sint(synic, i)) == vector)
if (synic_get_sint_vector(synic_read_sint(synic, i)) == vector)
sint_value = synic_read_sint(synic, i);