gf128mul_mask_from_bit
u64 _tt = gf128mul_mask_from_bit(b, 0) & ((u64)0xe1 << 56);
u64 _tt = gf128mul_mask_from_bit(a, 63) & 0x87;