1 /* SPDX-License-Identifier: GPL-2.0+ */
2 /*
3  * Copyright (c) 2019, Linaro Limited
4  */
5 
6 #if !defined _EFI_RNG_H_
7 #define _EFI_RNG_H_
8 
9 #include <efi.h>
10 #include <efi_api.h>
11 
12 /* EFI random number generation protocol related GUID definitions */
13 #define EFI_RNG_ALGORITHM_RAW \
14 	EFI_GUID(0xe43176d7, 0xb6e8, 0x4827, 0xb7, 0x84, \
15 		 0x7f, 0xfd, 0xc4, 0xb6, 0x85, 0x61)
16 
17 struct efi_rng_protocol {
18 	efi_status_t (EFIAPI *get_info)(struct efi_rng_protocol *protocol,
19 					efi_uintn_t *rng_algorithm_list_size,
20 					efi_guid_t *rng_algorithm_list);
21 	efi_status_t (EFIAPI *get_rng)(struct efi_rng_protocol *protocol,
22 				       efi_guid_t *rng_algorithm,
23 				       efi_uintn_t rng_value_length, uint8_t *rng_value);
24 };
25 
26 efi_status_t platform_get_rng_device(struct udevice **dev);
27 
28 #endif /* _EFI_RNG_H_ */
29