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.