1 files changed, 26 insertions, 0 deletions
diff --git a/sys/contrib/edk2/Include/Guid/DxeServices.h b/sys/contrib/edk2/Include/Guid/DxeServices.h
new file mode 100644
index 000000000000..128be13148b0
--- /dev/null
+++ b/sys/contrib/edk2/Include/Guid/DxeServices.h
@@ -0,0 +1,26 @@
+/** @file
+  GUID used to identify the DXE Services Table
+
+  Copyright (c) 2006 - 2018, Intel Corporation. All rights reserved.<BR>
+  SPDX-License-Identifier: BSD-2-Clause-Patent
+
+  @par Revision Reference:
+  GUID introduced in PI Version 1.0.
+
+**/
+
+#ifndef __DXE_SERVICES_GUID_H__
+#define __DXE_SERVICES_GUID_H__
+
+//
+// The DXE Services Table shall be stored in memory of type
+// EfiBootServicesData
+//
+#define DXE_SERVICES_TABLE_GUID \
+  { \
+    0x5ad34ba, 0x6f02, 0x4214, {0x95, 0x2e, 0x4d, 0xa0, 0x39, 0x8e, 0x2b, 0xb9 } \
+  }
+
+extern EFI_GUID  gEfiDxeServicesTableGuid;
+
+#endif