12 #include <soc/romstage.h>
13 #include <soc/pci_devs.h>
68 const char *support =
"Supported";
69 const char *no_support =
"Not Supported";
89 (cpu_feature_flag &
CPUID_AES) ? support : no_support,
90 (cpu_feature_flag &
CPUID_SMX) ? support : no_support,
91 (cpu_feature_flag &
CPUID_VMX) ? support : no_support);
100 const char *mch_type =
"Unknown";
110 mchid, mch_revision, mch_type);
135 const char *igd_type =
"Unknown";
#define printk(level,...)
uint32_t cpu_get_feature_flags_ecx(void)
uint32_t cpu_get_cpuid(void)
#define CPUID_APOLLOLAKE_E0
#define CPUID_APOLLOLAKE_A0
#define CPUID_APOLLOLAKE_B0
static __always_inline u16 pci_read_config16(const struct device *dev, u16 reg)
static __always_inline u8 pci_read_config8(const struct device *dev, u16 reg)
#define BIOS_INFO
BIOS_INFO - Expected events.
uint32_t get_current_microcode_rev(void)
void fill_processor_name(char *processor_name)
#define PCI_DID_INTEL_GLK_NB
#define PCI_DID_INTEL_APL_LPC
#define PCI_DID_INTEL_APL_NB
#define PCI_DID_INTEL_GLK_LPC
#define PCI_DID_INTEL_GLK_IGD_EU12
#define PCI_DID_INTEL_GLK_ESPI
#define PCI_DID_INTEL_APL_IGD_HD_505
#define PCI_DID_INTEL_GLK_IGD
#define PCI_DID_INTEL_APL_IGD_HD_500