|  | @@ -66,6 +66,8 @@ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
 | 
		
	
		
			
			| 66 | 66 |  #include <ipxe/efi/Protocol/Usb2HostController.h>
 | 
		
	
		
			
			| 67 | 67 |  #include <ipxe/efi/Protocol/UsbIo.h>
 | 
		
	
		
			
			| 68 | 68 |  #include <ipxe/efi/Protocol/VlanConfig.h>
 | 
		
	
		
			
			|  | 69 | +#include <ipxe/efi/Guid/FileInfo.h>
 | 
		
	
		
			
			|  | 70 | +#include <ipxe/efi/Guid/FileSystemInfo.h>
 | 
		
	
		
			
			| 69 | 71 |  
 | 
		
	
		
			
			| 70 | 72 |  /** @file
 | 
		
	
		
			
			| 71 | 73 |   *
 | 
		
	
	
		
			
			|  | @@ -281,3 +283,9 @@ EFI_GUID efi_usb_io_protocol_guid
 | 
		
	
		
			
			| 281 | 283 |  /** VLAN configuration protocol GUID */
 | 
		
	
		
			
			| 282 | 284 |  EFI_GUID efi_vlan_config_protocol_guid
 | 
		
	
		
			
			| 283 | 285 |  	= EFI_VLAN_CONFIG_PROTOCOL_GUID;
 | 
		
	
		
			
			|  | 286 | +
 | 
		
	
		
			
			|  | 287 | +/** File information GUID */
 | 
		
	
		
			
			|  | 288 | +EFI_GUID efi_file_info_id = EFI_FILE_INFO_ID;
 | 
		
	
		
			
			|  | 289 | +
 | 
		
	
		
			
			|  | 290 | +/** File system information GUID */
 | 
		
	
		
			
			|  | 291 | +EFI_GUID efi_file_system_info_id = EFI_FILE_SYSTEM_INFO_ID;
 |