7 #include <soc/pci_devs.h>
27 if (!(msr.
hi & 0x80000000))
28 die(
"Unknown error: cannot determine P-state 0\n");
30 cpufid = (msr.
lo & 0x3f);
31 cpudid = (msr.
lo & 0x1c0) >> 6;
33 return (100 * (cpufid + 0x10)) / (0x01 << cpudid);
unsigned long tsc_freq_mhz(void)
void __noreturn die(const char *fmt,...)
#define CORE_PERF_BOOST_CTRL
static __always_inline msr_t rdmsr(unsigned int index)
static __always_inline u32 pci_read_config32(const struct device *dev, u16 reg)