68 lines
2.2 KiB
C
68 lines
2.2 KiB
C
/** @file
|
|
|
|
@copyright
|
|
INTEL CONFIDENTIAL
|
|
Copyright 2014 - 2016 Intel Corporation.
|
|
|
|
The source code contained or described herein and all documents related to the
|
|
source code ("Material") are owned by Intel Corporation or its suppliers or
|
|
licensors. Title to the Material remains with Intel Corporation or its suppliers
|
|
and licensors. The Material may contain trade secrets and proprietary and
|
|
confidential information of Intel Corporation and its suppliers and licensors,
|
|
and is protected by worldwide copyright and trade secret laws and treaty
|
|
provisions. No part of the Material may be used, copied, reproduced, modified,
|
|
published, uploaded, posted, transmitted, distributed, or disclosed in any way
|
|
without Intel's prior express written permission.
|
|
|
|
No license under any patent, copyright, trade secret or other intellectual
|
|
property right is granted to or conferred upon you by disclosure or delivery
|
|
of the Materials, either expressly, by implication, inducement, estoppel or
|
|
otherwise. Any license under such intellectual property rights must be
|
|
express and approved by Intel in writing.
|
|
|
|
Unless otherwise agreed by Intel in writing, you may not remove or alter
|
|
this notice or any other notice embedded in Materials by Intel or
|
|
Intel's suppliers or licensors in any way.
|
|
|
|
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.
|
|
|
|
@par Specification Reference:
|
|
**/
|
|
|
|
#ifndef __TCO_WDT_HOB_H__
|
|
#define __TCO_WDT_HOB_H__
|
|
|
|
#define TCO_WDT_HOB_GUID \
|
|
{ \
|
|
0x3e405418, 0xd8c, 0x4f1a, { 0xb0, 0x55, 0xbe, 0xf9, 0x8, 0x41, 0x46, 0x8d } \
|
|
}
|
|
|
|
#ifndef _PEI_HOB_H_
|
|
#ifndef __HOB__H__
|
|
#ifndef __PI_HOB_H__
|
|
typedef struct _EFI_HOB_GENERIC_HEADER {
|
|
UINT16 HobType;
|
|
UINT16 HobLength;
|
|
UINT32 Reserved;
|
|
} EFI_HOB_GENERIC_HEADER;
|
|
|
|
typedef struct _EFI_HOB_GUID_TYPE {
|
|
EFI_HOB_GENERIC_HEADER Header;
|
|
EFI_GUID Name;
|
|
//
|
|
// Guid specific data goes here
|
|
//
|
|
} EFI_HOB_GUID_TYPE;
|
|
#endif
|
|
#endif
|
|
#endif
|
|
|
|
typedef struct {
|
|
EFI_HOB_GUID_TYPE Header;
|
|
UINT8 TcoRebootHappened;
|
|
} TCO_WDT_HOB;
|
|
|
|
#endif
|