> When GetHealthStatus() returns NULL FormHiiHandle, DeviceManager shouldn't call...

[mirror_edk2.git] / IntelFrameworkModulePkg / Universal / BdsDxe / DeviceMngr / DeviceManagerVfr.h

diff --git a/IntelFrameworkModulePkg/Universal/BdsDxe/DeviceMngr/DeviceManagerVfr.h b/IntelFrameworkModulePkg/Universal/BdsDxe/DeviceMngr/DeviceManagerVfr.h
new file mode 100644 (file)
index 0000000..858b13e
--- /dev/null
+++ b/IntelFrameworkModulePkg/Universal/BdsDxe/DeviceMngr/DeviceManagerVfr.h
@@ -0,0 +1,63 @@
+/** @file\r
+  The platform device manager reference implement\r
+\r
+Copyright (c) 2011, Intel Corporation. All rights reserved.<BR>\r
+This program and the accompanying materials\r
+are licensed and made available under the terms and conditions of the BSD License\r
+which accompanies this distribution.  The full text of the license may be found at\r
+http://opensource.org/licenses/bsd-license.php\r
+\r
+THE PROGRAM IS DISTRIBUTED UNDER THE BSD LICENSE ON AN "AS IS" BASIS,\r
+WITHOUT WARRANTIES OR REPRESENTATIONS OF ANY KIND, EITHER EXPRESS OR IMPLIED.\r
+\r
+**/\r
+\r
+#ifndef _DEVICE_MANAGER_VFR_H_\r
+#define _DEVICE_MANAGER_VFR_H_\r
+\r
+#define DEVICE_MANAGER_FORMSET_GUID  \\r
+  { \\r
+  0x3ebfa8e6, 0x511d, 0x4b5b, {0xa9, 0x5f, 0xfb, 0x38, 0x26, 0xf, 0x1c, 0x27} \\r
+  }\r
+\r
+#define DRIVER_HEALTH_FORMSET_GUID  \\r
+  { \\r
+  0xf76e0a70, 0xb5ed, 0x4c38, {0xac, 0x9a, 0xe5, 0xf5, 0x4b, 0xf1, 0x6e, 0x34} \\r
+  }\r
+\r
+#define LABEL_DEVICES_LIST                   0x1100\r
+#define LABEL_NETWORK_DEVICE_LIST_ID         0x1101\r
+#define LABEL_NETWORK_DEVICE_ID              0x1102\r
+#define LABEL_END                            0xffff\r
+#define LABEL_FORM_ID_OFFSET                 0x0100\r
+\r
+#define LABEL_DRIVER_HEALTH                  0x2000\r
+#define LABEL_DRIVER_HEALTH_END              0x2001\r
+\r
+#define LABEL_DRIVER_HEALTH_REAPIR_ALL       0x3000\r
+#define LABEL_DRIVER_HEALTH_REAPIR_ALL_END   0x3001\r
+\r
+#define LABEL_VBIOS                          0x0040\r
+\r
+#define DEVICE_MANAGER_FORM_ID               0x1000\r
+#define NETWORK_DEVICE_LIST_FORM_ID          0x1001\r
+#define NETWORK_DEVICE_FORM_ID               0x1002\r
+#define DRIVER_HEALTH_FORM_ID                0x1003\r
+#define DEVICE_KEY_OFFSET                    0x4000\r
+#define NETWORK_DEVICE_LIST_KEY_OFFSET       0x2000\r
+#define DEVICE_MANAGER_KEY_VBIOS             0x3000\r
+#define MAX_KEY_SECTION_LEN                  0x1000\r
+\r
+#define DEVICE_MANAGER_KEY_DRIVER_HEALTH     0x1111\r
+#define DRIVER_HEALTH_KEY_OFFSET             0x2000\r
+#define DRIVER_HEALTH_REPAIR_ALL_KEY         0x3000\r
+#define DRIVER_HEALTH_RETURN_KEY             0x4000\r
+\r
+#define QUESTION_NETWORK_DEVICE_ID           0x3FFF\r
+//\r
+// These are the VFR compiler generated data representing our VFR data.\r
+//\r
+extern UINT8  DeviceManagerVfrBin[];\r
+extern UINT8  DriverHealthVfrBin[];\r
+\r
+#endif\r