1 /** @file
2   GUIDs used as HII FormSet and HII Package list GUID in BdsDxe driver.
3 
4 Copyright (c) 2011, Intel Corporation. All rights reserved.<BR>
5 This program and the accompanying materials are licensed and made available under
6 the terms and conditions of the BSD License that accompanies this distribution.
7 The full text of the license may be found at
8 http://opensource.org/licenses/bsd-license.php.
9 
10 THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,
11 WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.
12 
13 **/
14 
15 #ifndef __BDS_HII_GUIDS_H__
16 #define __BDS_HII_GUIDS_H__
17 
18 #define FRONT_PAGE_FORMSET_GUID \
19   { \
20     0x9e0c30bc, 0x3f06, 0x4ba6, {0x82, 0x88, 0x9, 0x17, 0x9b, 0x85, 0x5d, 0xbe} \
21   }
22 
23 #define BOOT_MANAGER_FORMSET_GUID \
24   { \
25   0x847bc3fe, 0xb974, 0x446d, {0x94, 0x49, 0x5a, 0xd5, 0x41, 0x2e, 0x99, 0x3b} \
26   }
27 
28 #define DEVICE_MANAGER_FORMSET_GUID  \
29   { \
30   0x3ebfa8e6, 0x511d, 0x4b5b, {0xa9, 0x5f, 0xfb, 0x38, 0x26, 0xf, 0x1c, 0x27} \
31   }
32 
33 #define DRIVER_HEALTH_FORMSET_GUID  \
34   { \
35   0xf76e0a70, 0xb5ed, 0x4c38, {0xac, 0x9a, 0xe5, 0xf5, 0x4b, 0xf1, 0x6e, 0x34} \
36   }
37 
38 #define BOOT_MAINT_FORMSET_GUID \
39   { \
40   0x642237c7, 0x35d4, 0x472d, {0x83, 0x65, 0x12, 0xe0, 0xcc, 0xf2, 0x7a, 0x22} \
41   }
42 
43 #define FILE_EXPLORE_FORMSET_GUID \
44   { \
45   0x1f2d63e1, 0xfebd, 0x4dc7, {0x9c, 0xc5, 0xba, 0x2b, 0x1c, 0xef, 0x9c, 0x5b} \
46   }
47 
48 extern EFI_GUID gFrontPageFormSetGuid;
49 extern EFI_GUID gBootMaintFormSetGuid;
50 extern EFI_GUID gFileExploreFormSetGuid;
51 extern EFI_GUID gBootManagerFormSetGuid;
52 extern EFI_GUID gDeviceManagerFormSetGuid;
53 extern EFI_GUID gDriverHealthFormSetGuid;
54 
55 #endif
56