Symbol: UINT32_80PCT
sys/netipsec/key.c
4778
(sav->replay->count > UINT32_80PCT) ||
sys/netipsec/key.c
4779
(sav->replay->last > UINT32_80PCT))))) {