14 msr_t msr, syscfg_orig, mtrr_aseg_orig;
#define SYSCFG_MSR_MtrrFixDramModEn
#define SYSCFG_MSR_MtrrFixDramEn
void * memcpy(void *dest, const void *src, size_t n)
static __always_inline void enable_cache(void)
static __always_inline void disable_cache(void)
static __always_inline msr_t rdmsr(unsigned int index)
static __always_inline void wrmsr(unsigned int index, msr_t msr)
unsigned char _binary_smm_start[]
unsigned char _binary_smm_end[]
void smm_init_completion(void)
#define MTRR_FIX_16K_A0000