HV_MSR_SIMP
simp.as_uint64 = hv_get_msr(HV_MSR_SIMP);
hv_set_msr(HV_MSR_SIMP, simp.as_uint64);
simp.as_uint64 = hv_para_get_synic_register(HV_MSR_SIMP);
hv_para_set_synic_register(HV_MSR_SIMP, simp.as_uint64);
simp.as_uint64 = hv_get_msr(HV_MSR_SIMP);
hv_set_msr(HV_MSR_SIMP, simp.as_uint64);
simp.as_uint64 = hv_para_get_synic_register(HV_MSR_SIMP);
hv_para_set_synic_register(HV_MSR_SIMP, simp.as_uint64);
simp.as_uint64 = hv_get_non_nested_msr(HV_MSR_SIMP);
hv_set_non_nested_msr(HV_MSR_SIMP, simp.as_uint64);
hv_set_non_nested_msr(HV_MSR_SIMP, simp.as_uint64);
simp.as_uint64 = hv_get_non_nested_msr(HV_MSR_SIMP);
hv_set_non_nested_msr(HV_MSR_SIMP, simp.as_uint64);