IA32_MSR_MTRR_PHYSICAL_BASE_0
uint64 base = x86_read_msr(IA32_MSR_MTRR_PHYSICAL_BASE_0 + index * 2);
x86_write_msr(IA32_MSR_MTRR_PHYSICAL_BASE_0 + index,
x86_write_msr(IA32_MSR_MTRR_PHYSICAL_BASE_0 + index, 0);