21 #if CONFIG(LOGICAL_CPUS)
39 msr.
lo = msr.
hi = 0x1e1e1e1e;
59 #if CONFIG(LOGICAL_CPUS)
68 msr.
hi |= 1 << (33 - 32);
76 msr.
hi &= ~(1 << (46 - 32));
static void model_16_init(struct device *dev)
static const struct cpu_driver model_15 __cpu_driver
static const struct cpu_device_id cpu_table[]
static struct device_operations cpu_dev_ops
#define SYSCFG_MSR_MtrrFixDramModEn
static __always_inline void wrmsr_amd(unsigned int index, msr_t msr)
static __always_inline msr_t rdmsr_amd(unsigned int index)
#define SYSCFG_MSR_MtrrFixDramEn
static int acpi_is_wakeup_s3(void)
static unsigned int cpuid_ecx(unsigned int op)
#define printk(level,...)
void x86_mtrr_check(void)
#define CPU_ID_FEATURES_MSR
#define CPU_ID_EXT_FEATURES_MSR
static __always_inline void enable_cache(void)
static __always_inline void disable_cache(void)
static __always_inline msr_t rdmsr(unsigned int index)
static void mca_clear_status(void)
static __always_inline void wrmsr(unsigned int index, msr_t msr)
#define BIOS_DEBUG
BIOS_DEBUG - Verbose output.
struct device_operations * ops
void(* init)(struct device *dev)
#define MTRR_FIX_64K_00000
#define MTRR_FIX_16K_A0000
#define MTRR_FIX_4K_C0000
#define MTRR_FIX_16K_80000
#define MTRR_FIX_4K_F8000