/* SPDX-License-Identifier: GPL-2.0+ */
  /*
   * Copyright (c) 2020, Linaro Limited
   */
  
  #if !defined _EFI_LOAD_INITRD_H_
  #define _EFI_LOAD_INITRD_H_
  
  #include <efi.h>
  #include <efi_api.h>
  
  /*
   * Vendor GUID used by Linux to identify the handle with the
   * EFI_LOAD_FILE2_PROTOCOL and load an initial ramdisk.
   */
  #define EFI_INITRD_MEDIA_GUID \
  	EFI_GUID(0x5568e427, 0x68fc, 0x4f3d, \
  		 0xac, 0x74, 0xca, 0x55, 0x52, 0x31, 0xcc, 0x68)
  
  struct efi_initrd_dp {
  	struct efi_device_path_vendor vendor;
  	struct efi_device_path end;
  } __packed;
  
  #endif