| /* 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_ */ |
