IA32_MSR_MTRR_DEFAULT_TYPE
uint64 defaultType = x86_read_msr(IA32_MSR_MTRR_DEFAULT_TYPE);
x86_write_msr(IA32_MSR_MTRR_DEFAULT_TYPE,
uint64 defaultType = x86_read_msr(IA32_MSR_MTRR_DEFAULT_TYPE)
x86_write_msr(IA32_MSR_MTRR_DEFAULT_TYPE, defaultType);
x86_write_msr(IA32_MSR_MTRR_DEFAULT_TYPE, defaultType | IA32_MTRR_ENABLE);
uint64 defaultType = x86_read_msr(IA32_MSR_MTRR_DEFAULT_TYPE);