/* 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_PROTOCOL_GUID \
  	EFI_GUID(0x3152bca5, 0xeade, 0x433d, 0x86, 0x2e, \
  		 0xc0, 0x1c, 0xdc, 0x29, 0x1f, 0x44)
  
  #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_ */