| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| /* This file is part of the coreboot project. */ | |
| #ifndef _RANDOM_H_ | |
| #define _RANDOM_H_ | |
| #include <stdint.h> | |
| /* | |
| * Generates a 32/64 bit random number respectively. | |
| * return 0 on success and -1 on error. | |
| */ | |
| int get_random_number_32(uint32_t *rand); | |
| int get_random_number_64(uint64_t *rand); | |
| #endif /* _RANDOM_H_ */ |