1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
| /** @file
| Header file for OC WDT Library.
|
| Copyright (c) 2017, 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.
| **/
| 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
|
|
