coreboot-kgpe-d16/src/include/random.h

/* SPDX-License-Identifier: GPL-2.0-only */
#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_ */
src/include: Use SPDX for GPL-2.0-only files Done with sed and God Lines. Only done for C-like code for now. Change-Id: I2fa3bad88bb5b068baa1cfc6bbcddaabb09da1c5 Signed-off-by: Angel Pons <th3fanbus@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/40053 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Felix Held <felix-coreboot@felixheld.de> 2020-04-02 23:48:27 +02:00			`/* SPDX-License-Identifier: GPL-2.0-only */`
arch/x86: add functions to generate random numbers Using x86 RDRAND instruction, two functions are supplied to generate a 32bit or 64bit number. One potential usage is the sealing key generation for SGX. BUG=chrome-os-partner:62438 BRANCH=NONE TEST=Tested on Eve to generate a 64bit random number. Change-Id: I50cbeda4de17ccf2fc5efc1fe04f6b1a31ec268c Signed-off-by: Robbie Zhang <robbie.zhang@intel.com> Reviewed-on: https://review.coreboot.org/18362 Tested-by: build bot (Jenkins) Reviewed-by: Aaron Durbin <adurbin@chromium.org> 2017-02-13 22:44:14 +01:00			`#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_ */`