tcp_random
static int tcp_random(void);
(void) tcp_random();
tcp->tcp_iss += (prom_gettime() >> ISS_NSEC_SHT) + tcp_random();
int tcp_random(void);
(void) tcp_random();
tcp_iss_cookie.randnum = (uint32_t)(gethrtime() + tcp_random());
tcp->tcp_iss += (gethrtime() >> ISS_NSEC_SHT) + tcp_random();