1278 	uint32_t seqh;  in ipsec_chkreplay()  local
1357 		seqh = th - 1;  in ipsec_chkreplay()
1371 	seqh = th + 1;  in ipsec_chkreplay()
1374 	if (seqh == 0) {  in ipsec_chkreplay()
1407 	uint32_t seqh;  in ipsec_updatereplay()  local
1439 		seqh = th;  in ipsec_updatereplay()
1448 			advance_window(replay, ((uint64_t)seqh << 32) | seq);  in ipsec_updatereplay()
1450 			replay->last = ((uint64_t)seqh << 32) | seq;  in ipsec_updatereplay()
1490 	seqh = th + 1;  in ipsec_updatereplay()
1493 	if (seqh == 0) {  in ipsec_updatereplay()
1498 	advance_window(replay, ((uint64_t)seqh << 32) | seq);  in ipsec_updatereplay()
1500 	replay->last = ((uint64_t)seqh << 32) | seq;  in ipsec_updatereplay()