1257 	uint32_t seqh;  in ipsec_chkreplay()  local
1336 		seqh = th - 1;  in ipsec_chkreplay()
1350 	seqh = th + 1;  in ipsec_chkreplay()
1353 	if (seqh == 0) {  in ipsec_chkreplay()
1386 	uint32_t seqh;  in ipsec_updatereplay()  local
1418 		seqh = th;  in ipsec_updatereplay()
1427 			advance_window(replay, ((uint64_t)seqh << 32) | seq);  in ipsec_updatereplay()
1429 			replay->last = ((uint64_t)seqh << 32) | seq;  in ipsec_updatereplay()
1469 	seqh = th + 1;  in ipsec_updatereplay()
1472 	if (seqh == 0) {  in ipsec_updatereplay()
1477 	advance_window(replay, ((uint64_t)seqh << 32) | seq);  in ipsec_updatereplay()
1479 	replay->last = ((uint64_t)seqh << 32) | seq;  in ipsec_updatereplay()