1254 	uint32_t seqh;  in ipsec_chkreplay()  local
1324 		seqh = th - 1;  in ipsec_chkreplay()
1335 	seqh = th + 1;  in ipsec_chkreplay()
1338 	if (seqh == 0) {  in ipsec_chkreplay()
1369 	uint32_t seqh;  in ipsec_updatereplay()  local
1397 		seqh = th;  in ipsec_updatereplay()
1404 			advance_window(replay, ((uint64_t)seqh << 32) | seq);  in ipsec_updatereplay()
1406 			replay->last = ((uint64_t)seqh << 32) | seq;  in ipsec_updatereplay()
1438 	seqh = th + 1;  in ipsec_updatereplay()
1441 	if (seqh == 0)  in ipsec_updatereplay()
1444 	advance_window(replay, ((uint64_t)seqh << 32) | seq);  in ipsec_updatereplay()
1446 	replay->last = ((uint64_t)seqh << 32) | seq;  in ipsec_updatereplay()