29 lines
796 B
C
29 lines
796 B
C
|
/* SPDX-License-Identifier: GPL-2.0+ */
|
||
|
/*
|
||
|
* Copyright (c) 2019, Linaro Limited
|
||
|
*/
|
||
|
|
||
|
#if !defined _EFI_RNG_H_
|
||
|
#define _EFI_RNG_H_
|
||
|
|
||
|
#include <efi.h>
|
||
|
#include <efi_api.h>
|
||
|
|
||
|
/* EFI random number generation protocol related GUID definitions */
|
||
|
#define EFI_RNG_ALGORITHM_RAW \
|
||
|
EFI_GUID(0xe43176d7, 0xb6e8, 0x4827, 0xb7, 0x84, \
|
||
|
0x7f, 0xfd, 0xc4, 0xb6, 0x85, 0x61)
|
||
|
|
||
|
struct efi_rng_protocol {
|
||
|
efi_status_t (EFIAPI *get_info)(struct efi_rng_protocol *protocol,
|
||
|
efi_uintn_t *rng_algorithm_list_size,
|
||
|
efi_guid_t *rng_algorithm_list);
|
||
|
efi_status_t (EFIAPI *get_rng)(struct efi_rng_protocol *protocol,
|
||
|
efi_guid_t *rng_algorithm,
|
||
|
efi_uintn_t rng_value_length, uint8_t *rng_value);
|
||
|
};
|
||
|
|
||
|
efi_status_t platform_get_rng_device(struct udevice **dev);
|
||
|
|
||
|
#endif /* _EFI_RNG_H_ */
|