10 #define TBARB_TEMP 0x40000000
void early_thermal_init(void)
#define MSR_TEMPERATURE_TARGET
static __always_inline msr_t rdmsr(unsigned int index)
static __always_inline void write8p(const uintptr_t addr, const uint8_t value)
static __always_inline void write16p(const uintptr_t addr, const uint16_t value)
static __always_inline uint16_t read16p(const uintptr_t addr)
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 void pci_and_config32(const struct device *dev, u16 reg, u32 andmask)
#define RCBA32_AND_OR(x, and, or)