3 #define __SIMPLE_DEVICE__
14 #include <soc/iomap.h>
15 #include <soc/pci_devs.h>
16 #include <soc/pcr_ids.h>
18 #include <soc/smbus.h>
23 #define TCO_BASE_EN (1 << 8)
24 #define TCO_BASE_LOCK (1 << 0)
38 return inw(tcobase + tco_reg);
77 return (tco2_sts << 16) | tco1_sts;
132 if (
CONFIG(SOC_INTEL_COMMON_BLOCK_TCO_ENABLE_THROUGH_SMBUS))
138 if (
CONFIG(SOC_INTEL_COMMON_BLOCK_SMM_TCO_ENABLE))
void outw(u16 val, u16 port)
void gpmr_write32(uint16_t offset, uint32_t val)
static __always_inline void pci_or_config32(const struct device *dev, u16 reg, u32 ormask)
static __always_inline void pci_write_config32(const struct device *dev, u16 reg, u32 val)
static __always_inline u32 pci_read_config32(const struct device *dev, u16 reg)
#define TCO_INTRD_SEL_SMI
#define TCO_STS_SECOND_TO
#define TCO_INTRD_SEL_MASK
static void tco_timer_disable(void)
uint16_t tco_read_reg(uint16_t tco_reg)
static void tco_enable_bar(void)
void tco_write_reg(uint16_t tco_reg, uint16_t value)
uint32_t tco_reset_status(void)
static void tco_intruder_smi_enable(void)
static uint16_t tco_get_bar(void)