ipsec_chkreplay
int ipsec_chkreplay(uint32_t, uint32_t *, struct secasvar *);
ipsec_chkreplay(ntohl(ah->ah_seq), &seqh, sav) == 0) {
if (ipsec_chkreplay(ntohl(esp->esp_seq), &seqh, sav) == 0) {