Lines Matching refs:idx
142 * rdbx_check_add(rdbx, idx) checks a known-to-be-good idx against
150 rdbx_check_add(rdbx_t *rdbx, uint32_t idx) {
154 delta = index_guess(&rdbx->index, &est, idx);
157 printf("replay_check failed at index %u\n", idx);
162 * in practice, we'd authenticate the packet containing idx, using
167 printf("rdbx_add_index failed at index %u\n", idx);
175 * rdbx_check_expect_failure(rdbx_t *rdbx, uint32_t idx)
177 * checks that a sequence number idx is in the replay database
182 rdbx_check_expect_failure(rdbx_t *rdbx, uint32_t idx) {
187 delta = index_guess(&rdbx->index, &est, idx);
192 printf("replay_check failed at index %u (false positive)\n", idx);
200 rdbx_check_unordered(rdbx_t *rdbx, uint32_t idx) {
203 rstat = rdbx_check(rdbx, idx);
205 printf("replay_check_unordered failed at index %u\n", idx);
214 uint32_t idx, ircvd;
229 for (idx=0; idx < (uint32_t)num_trials; idx++) {
230 status = rdbx_check_add(&rdbx, idx);
248 for (idx=0; idx < (uint32_t)num_fp_trials; idx++) {
249 status = rdbx_check_expect_failure(&rdbx, idx);
272 for (idx=0; idx < (uint32_t)num_trials; idx++) {
