/* 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)
extern const efi_guid_t efi_lf2_initrd_guid;

/**
 * struct efi_lo_dp_prefix - separator device path used in load options
 *
 * We use vendor media device nodes in UEFI load options to separate
 * the binary, initrd, and fdt device-paths. This structure contains
 * the vendor media device node and an end node.
 *
 * @vendor:	vendor media device node
 * @end:	end node
 */
struct efi_lo_dp_prefix {
	struct efi_device_path_vendor vendor;
	struct efi_device_path end;
} __packed;

#endif