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 21 efi_guid BlockIoProtocol = EFI_BLOCK_IO_PROTOCOL_GUID; 22 efi_guid DevicePathProtocol = EFI_DEVICE_PATH_PROTOCOL_GUID; 23 efi_guid DevicePathToTextProtocol = EFI_DEVICE_PATH_TO_TEXT_PROTOCOL_GUID; 24 efi_guid DiskIoProtocol = EFI_DISK_IO_PROTOCOL_GUID; 25 efi_guid DriverBindingProtocol = EFI_DRIVER_BINDING_PROTOCOL_GUID; 26 efi_guid FileInfoGuid = EFI_FILE_INFO_GUID; 27 efi_guid FileSystemInfoGuid = EFI_FILE_SYSTEM_INFO_GUID; 28 efi_guid GraphicsOutputProtocol = EFI_GRAPHICS_OUTPUT_PROTOCOL_GUID; 29 efi_guid LoadedImageProtocol = EFI_LOADED_IMAGE_PROTOCOL_GUID; 30 efi_guid ManagedNetworkProtocol = EFI_MANAGED_NETWORK_PROTOCOL_GUID; 31 efi_guid PciRootBridgeIoProtocol = EFI_PCI_ROOT_BRIDGE_IO_PROTOCOL_GUID; 32 efi_guid SimpleFileSystemProtocol = EFI_SIMPLE_FILE_SYSTEM_PROTOCOL_GUID; 33 efi_guid SimpleNetworkProtocol = EFI_SIMPLE_NETWORK_PROTOCOL_GUID; 34 efi_guid SimpleTextInputProtocol = EFI_SIMPLE_TEXT_INPUT_PROTOCOL_GUID; 35 efi_guid SimpleTextOutputProtocol = EFI_SIMPLE_TEXT_OUTPUT_PROTOCOL_GUID; 36 efi_guid UsbIoProtocol = EFI_USB_IO_PROTOCOL_GUID; 37