lower_upper_bits_extracting.c

uint32_t get_lower_32_bits(uint64_t i)
{
	return (uint32_t) i;
}

uint32_t get_higher_32_bits(uint64_t i)
{
	return (uint32_t) (i >> 32);
}

uint64_t combine_to_uint64(uint32_t lower, uint32_t higher)
{
	uint64_t result;
	result = (uint64_t) higher;
	result = (result << 32);
	result = result | (uint64_t) lower;
	return result;
}