iPXE
HiiPlatformSetupFormset.h
Go to the documentation of this file.
00001 /** @file
00002   GUID indicates that the form set contains forms designed to be used
00003   for platform configuration and this form set will be displayed.
00004 
00005 Copyright (c) 2006 - 2010, Intel Corporation. All rights reserved.<BR>
00006 This program and the accompanying materials are licensed and made available under
00007 the terms and conditions of the BSD License that accompanies this distribution.
00008 The full text of the license may be found at
00009 http://opensource.org/licenses/bsd-license.php.
00010 
00011 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
00012 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
00013 
00014   @par Revision Reference:
00015   GUID defined in UEFI 2.1.
00016 
00017 **/
00018 
00019 #ifndef __HII_PLATFORM_SETUP_FORMSET_GUID_H__
00020 #define __HII_PLATFORM_SETUP_FORMSET_GUID_H__
00021 
00022 FILE_LICENCE ( BSD3 );
00023 
00024 #define EFI_HII_PLATFORM_SETUP_FORMSET_GUID \
00025   { 0x93039971, 0x8545, 0x4b04, { 0xb4, 0x5e, 0x32, 0xeb, 0x83, 0x26, 0x4, 0xe } }
00026 
00027 #define EFI_HII_DRIVER_HEALTH_FORMSET_GUID \
00028   { 0xf22fc20c, 0x8cf4, 0x45eb, { 0x8e, 0x6, 0xad, 0x4e, 0x50, 0xb9, 0x5d, 0xd3 } }
00029 
00030 #define EFI_HII_USER_CREDENTIAL_FORMSET_GUID \
00031   { 0x337f4407, 0x5aee, 0x4b83, { 0xb2, 0xa7, 0x4e, 0xad, 0xca, 0x30, 0x88, 0xcd } }
00032 
00033 extern EFI_GUID gEfiHiiPlatformSetupFormsetGuid;
00034 extern EFI_GUID gEfiHiiDriverHealthFormsetGuid;
00035 extern EFI_GUID gEfiHiiUserCredentialFormsetGuid;
00036 
00037 #endif