__intel_timeline_get_seqno
return __intel_timeline_get_seqno(tl, seqno);
__intel_timeline_get_seqno(tl, &dummy);