1// Copyright 2016 The Fuchsia Authors. All rights reserved.
2// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
4
5#include <efi/protocol/block-io.h>
6#include <efi/protocol/device-path.h>
7#include <efi/protocol/device-path-to-text.h>
8#include <efi/protocol/disk-io.h>
9#include <efi/protocol/driver-binding.h>
10#include <efi/protocol/file.h>
11#include <efi/protocol/graphics-output.h>
12#include <efi/protocol/loaded-image.h>
13#include <efi/protocol/managed-network.h>
14#include <efi/protocol/pci-root-bridge-io.h>
15#include <efi/protocol/simple-file-system.h>
16#include <efi/protocol/simple-network.h>
17#include <efi/protocol/simple-text-input.h>
18#include <efi/protocol/simple-text-output.h>
19#include <efi/protocol/usb-io.h>
20
21efi_guid BlockIoProtocol = EFI_BLOCK_IO_PROTOCOL_GUID;
22efi_guid DevicePathProtocol = EFI_DEVICE_PATH_PROTOCOL_GUID;
23efi_guid DevicePathToTextProtocol = EFI_DEVICE_PATH_TO_TEXT_PROTOCOL_GUID;
24efi_guid DiskIoProtocol = EFI_DISK_IO_PROTOCOL_GUID;
25efi_guid DriverBindingProtocol = EFI_DRIVER_BINDING_PROTOCOL_GUID;
26efi_guid FileInfoGuid = EFI_FILE_INFO_GUID;
27efi_guid FileSystemInfoGuid = EFI_FILE_SYSTEM_INFO_GUID;
28efi_guid GraphicsOutputProtocol = EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID;
29efi_guid LoadedImageProtocol = EFI_LOADED_IMAGE_PROTOCOL_GUID;
30efi_guid ManagedNetworkProtocol = EFI_MANAGED_NETWORK_PROTOCOL_GUID;
31efi_guid PciRootBridgeIoProtocol = EFI_PCI_ROOT_BRIDGE_IO_PROTOCOL_GUID;
32efi_guid SimpleFileSystemProtocol = EFI_SIMPLE_FILE_SYSTEM_PROTOCOL_GUID;
33efi_guid SimpleNetworkProtocol = EFI_SIMPLE_NETWORK_PROTOCOL_GUID;
34efi_guid SimpleTextInputProtocol = EFI_SIMPLE_TEXT_INPUT_PROTOCOL_GUID;
35efi_guid SimpleTextOutputProtocol = EFI_SIMPLE_TEXT_OUTPUT_PROTOCOL_GUID;
36efi_guid UsbIoProtocol = EFI_USB_IO_PROTOCOL_GUID;
37