> Какое решение нравится вам? Мне второе, с использованием union.

А мне нравится решение, в котором ваш код окружён строчками:

#if sizeof(void*) == 8
/* здесь находятся обьединения, включающие в себя структуры */
#endif

Ибо не факт, что Ваш код будет компилироваться для 64хбитной системы.
Да и тот факт, что элементы структуры выравниваются по границе 4 байт, а не 8ми, сомнителен. Во втором случае Ваш s.Pointer будет содержать какой-то совершенно левый указатель, а s.offsetHi окажется не у дел. Вот и выходит, что

// запись
s.Pointer = (s.Pointer & 0xFFFFFFFF) | low;
s.Pointer = (s.Pointer & 0xFFFFFFFF00000000) | (high << 32);
// чтение
low = s.Pointer & 0xFFFFFFFF;
high = (s.Pointer & 0xFFFFFFFF00000000) >> 32;

хоть и менее элегантно, но зато гарантированно работает.