1 files changed, 53 insertions, 0 deletions
diff --git a/ReferenceCode/Chipset/LynxPoint/Ppi/Wdt/Wdt.h b/ReferenceCode/Chipset/LynxPoint/Ppi/Wdt/Wdt.h
new file mode 100644
index 0000000..8246fad
--- /dev/null
+++ b/ReferenceCode/Chipset/LynxPoint/Ppi/Wdt/Wdt.h
@@ -0,0 +1,53 @@
+/** @file
+  Watchdog Timer PPI
+
+@copyright
+  Copyright (c) 2010 - 2012 Intel Corporation. All rights reserved
+  This software and associated documentation (if any) is furnished
+  under a license and may only be used or copied in accordance
+  with the terms of the license. Except as permitted by such
+  license, no part of this software or documentation may be
+  reproduced, stored in a retrieval system, or transmitted in any
+  form or by any means without the express written consent of
+  Intel Corporation.
+
+  This file contains a 'Sample Driver' and is licensed as such
+  under the terms of your license agreement with Intel or your
+  vendor.  This file may be modified by the user, subject to
+  the additional terms of the license agreement
+**/
+#ifndef _PEI_WDT_H_
+#define _PEI_WDT_H_
+
+#include <Protocol/Wdt/Wdt.h>
+///
+/// GUID for the WDT PPI
+///
+#if !defined(EDK_RELEASE_VERSION) || (EDK_RELEASE_VERSION < 0x00020000)
+#define WDT_PPI_GUID \
+  { \
+    0xF38D1338, 0xAF7A, 0x4FB6, 0x91, 0xDB, 0x1A, 0x9C, 0x21, 0x83, 0x57, 0x0D \
+  }
+
+#else
+
+#define WDT_PPI_GUID \
+  { \
+    0xF38D1338, 0xAF7A, 0x4FB6, \
+    { \
+      0x91, 0xDB, 0x1A, 0x9C, 0x21, 0x83, 0x57, 0x0D \
+    } \
+  }
+
+#endif
+//
+// Extern the GUID for PPI users.
+//
+extern EFI_GUID       gWdtPpiGuid;
+
+///
+/// Reuse WDT_PROTOCOL definition
+///
+typedef WDT_PROTOCOL  WDT_PPI;
+
+#endif