HV_SYNIC_SINT_VECTOR_MASK
vector = data & HV_SYNIC_SINT_VECTOR_MASK;
old_vector = synic_read_sint(synic, sint) & HV_SYNIC_SINT_VECTOR_MASK;
return sint_value & HV_SYNIC_SINT_VECTOR_MASK;