6 long ntp_random (void);
7 void ntp_srandom (unsigned long);
8 void ntp_srandomdev (void);
9 char * ntp_initstate (unsigned long, /* seed for R.N.G. */
10 char *, /* pointer to state array */
11 long /* # bytes of state info */
13 char * ntp_setstate (char *); /* pointer to state array */