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