IA32_MSR_HV_SIMP
uint64 msr = x86_read_msr(IA32_MSR_HV_SIMP);
x86_write_msr(IA32_MSR_HV_SIMP, msr);
msr = x86_read_msr(IA32_MSR_HV_SIMP);