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 SOC_INTEL_COMMON_BLOCK_TCO_H
4
#define SOC_INTEL_COMMON_BLOCK_TCO_H
5
6
#include <
stdint.h
>
7
8
/*
9
* Enable TCO BAR using SMBUS TCO base to access TCO related register
10
* also disable the timer.
11
*/
12
void
tco_configure
(
void
);
13
/* Lockdown TCO registers before booting to OS */
14
void
tco_lockdown
(
void
);
15
/*
16
* Resets the tco status registers. This function clears the tco_sts register
17
* and returns the status bits set.
18
*/
19
uint32_t
tco_reset_status
(
void
);
20
uint16_t
tco_read_reg
(
uint16_t
tco_reg);
21
void
tco_write_reg
(
uint16_t
tco_reg,
uint16_t
value
);
22
23
#endif
/* SOC_INTEL_COMMON_BLOCK_TCO_H */
value
pte_t value
Definition:
mmu.c:91
tco_read_reg
uint16_t tco_read_reg(uint16_t tco_reg)
Definition:
tco.c:32
tco_lockdown
void tco_lockdown(void)
Definition:
tco.c:50
tco_configure
void tco_configure(void)
Definition:
tco.c:130
tco_write_reg
void tco_write_reg(uint16_t tco_reg, uint16_t value)
Definition:
tco.c:41
tco_reset_status
uint32_t tco_reset_status(void)
Definition:
tco.c:64
stdint.h
uint16_t
unsigned short uint16_t
Definition:
stdint.h:11
uint32_t
unsigned int uint32_t
Definition:
stdint.h:14
src
soc
intel
common
block
include
intelblocks
tco.h
Generated by
1.9.1