Random number generation. More...
#include <stdint.h>

Go to the source code of this file.
Functions | |
| uint32_t | sys_random_uint32 (void) |
| Returns a random number as a 32-bit unsigned integer. More... | |
| uint64_t | sys_random_uint64 (void) |
| Returns a random number as a 64-bit unsigned integer. More... | |
Random number generation.
Definition in file random.h.