tctx->buffer.u64 >>= 32;