/** @file
|
Watchdog Timer PPI
|
|
Copyright (c) 2017, Intel Corporation. All rights reserved.<BR>
|
SPDX-License-Identifier: BSD-2-Clause-Patent
|
|
**/
|
#ifndef _PEI_WDT_H_
|
#define _PEI_WDT_H_
|
|
#include <Protocol/Wdt.h>
|
//
|
// MRC takes a lot of time to execute in debug mode
|
//
|
#define WDT_TIMEOUT_BETWEEN_PEI_DXE 60
|
|
//
|
// Extern the GUID for PPI users.
|
//
|
extern EFI_GUID gWdtPpiGuid;
|
|
///
|
/// Reuse WDT_PROTOCOL definition
|
///
|
typedef WDT_PROTOCOL WDT_PPI;
|
|
#endif
|
