picofuse

random.h
Go to the documentation of this file.
1 
10 #pragma once
11 
12 #include <stdint.h>
13 
14 #ifdef __cplusplus
15 extern "C" {
16 #endif
17 
19 
27 uint32_t sys_random_uint32(void);
28 
36 uint64_t sys_random_uint64(void);
37 
39 
40 #ifdef __cplusplus
41 }
42 #endif
sys_random_uint64
uint64_t sys_random_uint64(void)
Returns a random number as a 64-bit unsigned integer.
sys_random_uint32
uint32_t sys_random_uint32(void)
Returns a random number as a 32-bit unsigned integer.