146 	uint64_t sync[3], offset, ip;  in sync_backward()  local
153 	errcode = pt_enc_get_offset(encoder, &sync[0]);  in sync_backward()
160 	errcode = pt_enc_get_offset(encoder, &sync[1]);  in sync_backward()
167 	errcode = pt_enc_get_offset(encoder, &sync[2]);  in sync_backward()
183 	ptu_uint_eq(offset, sync[2]);  in sync_backward()
190 	ptu_uint_eq(offset, sync[1]);  in sync_backward()
197 	ptu_uint_eq(offset, sync[0]);  in sync_backward()
210 	uint64_t sync[3], offset, ip;  in sync_backward_empty_end()  local
219 	errcode = pt_enc_get_offset(encoder, &sync[0]);  in sync_backward_empty_end()
226 	errcode = pt_enc_get_offset(encoder, &sync[1]);  in sync_backward_empty_end()
233 	errcode = pt_enc_get_offset(encoder, &sync[2]);  in sync_backward_empty_end()
248 	ptu_uint_eq(offset, sync[1]);  in sync_backward_empty_end()
255 	ptu_uint_eq(offset, sync[0]);  in sync_backward_empty_end()
268 	uint64_t sync[3], offset, ip;  in sync_backward_empty_mid()  local
277 	errcode = pt_enc_get_offset(encoder, &sync[0]);  in sync_backward_empty_mid()
284 	errcode = pt_enc_get_offset(encoder, &sync[1]);  in sync_backward_empty_mid()
290 	errcode = pt_enc_get_offset(encoder, &sync[2]);  in sync_backward_empty_mid()
306 	ptu_uint_eq(offset, sync[2]);  in sync_backward_empty_mid()
313 	ptu_uint_eq(offset, sync[0]);  in sync_backward_empty_mid()
326 	uint64_t sync[3], offset, ip;  in sync_backward_empty_begin()  local
335 	errcode = pt_enc_get_offset(encoder, &sync[0]);  in sync_backward_empty_begin()
341 	errcode = pt_enc_get_offset(encoder, &sync[1]);  in sync_backward_empty_begin()
348 	errcode = pt_enc_get_offset(encoder, &sync[2]);  in sync_backward_empty_begin()
364 	ptu_uint_eq(offset, sync[2]);  in sync_backward_empty_begin()
371 	ptu_uint_eq(offset, sync[1]);  in sync_backward_empty_begin()
385 	uint64_t sync[2], offset, ip;  in decode_sync_backward()  local
392 	errcode = pt_enc_get_offset(encoder, &sync[0]);  in decode_sync_backward()
399 	errcode = pt_enc_get_offset(encoder, &sync[1]);  in decode_sync_backward()
412 	ptu_uint_eq(offset, sync[0]);  in decode_sync_backward()
427 	ptu_uint_eq(offset, sync[1]);  in decode_sync_backward()
434 	ptu_uint_eq(offset, sync[0]);  in decode_sync_backward()