Lines Matching refs:user_high
544 uint64_t vh, vl, user_low, user_high;563 user_high = user_number << (result_len - 64);566 user_high = user_number >> (64 - result_len);573 vh |= user_high;
