+/** @file\r
+ GUID is the name of events used with CreateEventEx in order to be notified\r
+ when the DXE Core is idle.\r
+\r
+ Copyright (c) 2006 - 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 __IDLE_LOOP_EVENT_GUID_H__\r
+#define __IDLE_LOOP_EVENT_GUID_H__\r
+\r
+#define IDLE_LOOP_EVENT_GUID \\r
+ { 0x3c8d294c, 0x5fc3, 0x4451, { 0xbb, 0x31, 0xc4, 0xc0, 0x32, 0x29, 0x5e, 0x6c } }\r
+\r
+extern EFI_GUID gIdleLoopEventGuid;\r
+\r
+#endif\r