29 write16((
u16 *)0x40000012, ((msr.
lo >> 16) & 0xff) << 6);
34 (
read16((
u16 *)0x4000001a) & ~0xf) | 0x10f0);
static uint16_t read16(const void *addr)
static void write16(void *addr, uint16_t val)
void early_thermal_init(void)
#define MSR_TEMPERATURE_TARGET
static __always_inline msr_t rdmsr(unsigned int index)
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 PCI_DEV(SEGBUS, DEV, FN)