EF4_EXTRACT64
((EF4_EXTRACT64((oword).u64[0], 0, 63, low, high) | \
EF4_EXTRACT64((oword).u64[1], 64, 127, low, high)) & \
(EF4_EXTRACT64((qword).u64[0], 0, 63, low, high) & \