coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
tco.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef SOUTHBRIDGE_INTEL_COMMON_TCO_H
4 #define SOUTHBRIDGE_INTEL_COMMON_TCO_H
5 
6 #define PMBASE_TCO_OFFSET 0x60
7 #define TCO1_STS 0x04
8 #define TCO1_TIMEOUT (1 << 3)
9 #define TCO2_STS 0x06
10 #define SECOND_TO_STS (1 << 1)
11 #define TCO1_CNT 0x08
12 #define TCO_TMR_HLT (1 << 11)
13 
14 #endif /* SOUTHBRIDGE_INTEL_COMMON_TCO_H */