Symbol: SYNCOOKIE_TIMESHIFT
sys/netinet/tcp_syncache.c
1348
(hz * (1 << SYNCOOKIE_WNDBITS) / (1 << SYNCOOKIE_TIMESHIFT))
sys/netinet/tcp_syncache.c
1395
idx = ((ticks << SYNCOOKIE_TIMESHIFT) / hz) & SYNCOOKIE_WNDMASK;