Angel Pons | 32859fc | 2020-04-02 23:48:27 +0200 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0-only */ |
2 | /* This file is part of the coreboot project. */ | ||||
Robbie Zhang | 1879231 | 2017-02-13 13:44:14 -0800 | [diff] [blame] | 3 | #ifndef _RANDOM_H_ |
4 | #define _RANDOM_H_ | ||||
5 | |||||
6 | #include <stdint.h> | ||||
7 | |||||
8 | /* | ||||
9 | * Generates a 32/64 bit random number respectively. | ||||
10 | * return 0 on success and -1 on error. | ||||
11 | */ | ||||
12 | int get_random_number_32(uint32_t *rand); | ||||
13 | int get_random_number_64(uint64_t *rand); | ||||
14 | |||||
15 | #endif /* _RANDOM_H_ */ |