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 17struct 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 26efi_status_t platform_get_rng_device(struct udevice **dev); 27 28#endif /* _EFI_RNG_H_ */ 29