27 if (
CONFIG(LOGICAL_CPUS)) {
36 msr.
hi |= 1 << (33 - 32);
44 msr.
hi &= ~(1 << (46 - 32));
static __always_inline void wrmsr_amd(unsigned int index, msr_t msr)
static __always_inline msr_t rdmsr_amd(unsigned int index)
static unsigned int cpuid_ecx(unsigned int op)
#define printk(level,...)
void amd_update_microcode_from_cbfs(void)
asmlinkage void display_mtrrs(void)
#define CPU_ID_FEATURES_MSR
#define CPU_ID_EXT_FEATURES_MSR
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.
static void model_16_init(struct device *dev)
static const struct cpu_driver model_16 __cpu_driver
static const struct cpu_device_id cpu_table[]
static struct device_operations cpu_dev_ops
struct device_operations * ops
void(* init)(struct device *dev)