init

hc

2024-03-22 a0752693d998599af469473b8dc239ef973a012f

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
/** @file 
 
  Copyright (c) 2019, Intel Corporation. All rights reserved.<BR> 
  SPDX-License-Identifier: BSD-2-Clause-Patent 
**/ 
 
#ifndef __TCO_WDT_HOB_H__ 
#define __TCO_WDT_HOB_H__ 
 
#include <PiPei.h> 
 
#define TCO_WDT_HOB_GUID \ 
  { \ 
    0x3e405418, 0xd8c, 0x4f1a, { 0xb0, 0x55, 0xbe, 0xf9, 0x8, 0x41, 0x46, 0x8d } \ 
  } 
 
typedef struct { 
  EFI_HOB_GUID_TYPE Header; 
  UINT8             TcoRebootHappened; 
} TCO_WDT_HOB; 
 
#endif