17 #include <soc/pattrs.h>
18 #include <soc/pci_devs.h>
20 #include <soc/ramstage.h>
39 if ((leaf_b.
ecx & 0xff00) == 0x0200) {
40 attrs->num_cpus = leaf_b.
ebx & 0xffff;
52 idx, msr->
hi, msr->
lo);
57 "A0",
"A1",
"B0",
"B1",
"B2",
"B3",
"C0",
"D1"
static unsigned int cpuid_eax(unsigned int op)
static struct cpuid_result cpuid_ext(int op, unsigned int ecx)
static const struct pattrs * pattrs_get(void)
#define printk(level,...)
static __always_inline void write_cr4(CRx_TYPE data)
static __always_inline CRx_TYPE read_cr4(void)
DEVTREE_CONST struct device * pcidev_on_root(uint8_t dev, uint8_t fn)
void intel_silicon_init(void)
#define MSR_PLATFORM_INFO
static __always_inline msr_t rdmsr(unsigned int index)
static __always_inline u8 pci_read_config8(const struct device *dev, u16 reg)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
struct soc_gpio_config * mainboard_get_gpios(void)
static struct soc_gpio_config gpio_config
const void * intel_microcode_find(void)
void setup_soc_gpios(struct soc_gpio_config *config, u8 enable_xdp_tap)
#define RID_A_STEPPING_START
#define RID_B_STEPPING_START
#define RID_D_STEPPING_START
#define RID_C_STEPPING_START
#define MSR_IACORE_TURBO_VIDS
#define MSR_IACORE_TURBO_RATIOS
#define MSR_IACORE_RATIOS
struct pattrs __global_pattrs
unsigned int cpu_bus_freq_khz(void)
int soc_fill_acpi_wake(const struct chipset_power_state *ps, uint32_t *pm1, uint32_t **gpe0)
void soc_init_pre_device(struct soc_intel_braswell_config *config)
static void detect_num_cpus(struct pattrs *attrs)
static void fill_in_pattrs(void)
static const char *const stepping_str[]
static void fill_in_msr(msr_t *msr, int idx)