sadb_x_replay_ctr_t
print_replay(FILE *file, char *prefix, sadb_x_replay_ctr_t *repl)
"RPL: "), (sadb_x_replay_ctr_t *)current);
repl = (sadb_x_replay_ctr_t *)ext;
sadb_x_replay_ctr_t *repl_ctr;
alloclen += sizeof (sadb_x_replay_ctr_t);
repl_ctr = (sadb_x_replay_ctr_t *)walker;
sadb_x_replay_ctr_t *replayext =
(sadb_x_replay_ctr_t *)ksi->ks_in_extv[SADB_X_EXT_REPLAY_VALUE];
sadb_x_replay_ctr_t *replext =
(sadb_x_replay_ctr_t *)ksi->ks_in_extv[SADB_X_EXT_REPLAY_VALUE];