2005-07-18 17:40:24 +02:00
|
|
|
/*
|
|
|
|
|
random.h
|
|
|
|
|
|
|
|
|
|
Public interface to the random number generator
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
_PROTOTYPE( void random_init, (void) );
|
2005-07-19 14:16:55 +02:00
|
|
|
_PROTOTYPE( int random_isseeded, (void) );
|
2005-07-29 12:16:40 +02:00
|
|
|
_PROTOTYPE( void random_update, (int source, unsigned short *buf,
|
2005-07-18 17:40:24 +02:00
|
|
|
int count) );
|
|
|
|
|
_PROTOTYPE( void random_getbytes, (void *buf, size_t size) );
|
|
|
|
|
_PROTOTYPE( void random_putbytes, (void *buf, size_t size) );
|
