/** @file
  Header file for OC WDT Library.

  Copyright (c) 2019 Intel Corporation. All rights reserved. <BR>

  SPDX-License-Identifier: BSD-2-Clause-Patent
**/

#ifndef _OC_WDT_LIB_H_
#define _OC_WDT_LIB_H_

/**
  Check for unexpected reset.
  If there was an unexpected reset, enforces WDT expiration.
  Stops watchdog.
**/
VOID
OcWdtResetCheck (
  VOID
  );

/**
  This function install WDT PPI

  @retval EFI_STATUS  Results of the installation of the WDT PPI
**/
EFI_STATUS
EFIAPI
OcWdtInit (
  VOID
  );

#endif
