Lines Matching refs:xtd_seq_num_t
35 * An xtd_seq_num_t is a 64-bit unsigned integer used as an 'extended'
39 typedef uint64_t xtd_seq_num_t;
44 * xtd_seq_num_t and a bitmask of recently received indices.
48 xtd_seq_num_t index;
85 xtd_seq_num_t *guess,
91 * rdbx_check(&r, delta) checks to see if the xtd_seq_num_t
102 * adds the xtd_seq_num_t at rdbx->window_start + delta to replay_db
103 * (and does *not* check if that xtd_seq_num_t appears in db)
131 xtd_seq_num_t
135 * xtd_seq_num_t functions - these are *internal* functions of rdbx, and
153 index_init(xtd_seq_num_t *pi);
155 /* index_advance(&pi, s) advances a xtd_seq_num_t forward by s */
158 index_advance(xtd_seq_num_t *pi, sequence_number_t s);
164 * given a xtd_seq_num_t local (which represents the highest
172 index_guess(const xtd_seq_num_t *local,
173 xtd_seq_num_t *guess,
