WRMSR
WRMSR(MSR_HV_GUEST_OS_ID, MSR_HV_GUESTID_FREEBSD);
WRMSR(MSR_HV_EOM, 0);
WRMSR(MSR_HV_SIMP, val);
WRMSR(MSR_HV_SIEFP, val);
WRMSR(sint, val);
WRMSR(MSR_HV_SCONTROL, val);
WRMSR(MSR_HV_SCONTROL, (orig & MSR_HV_SCTRL_RSVD_MASK));
WRMSR(sint, orig | MSR_HV_SINT_MASKED);
WRMSR(MSR_HV_SIMP, (orig & MSR_HV_SIMP_RSVD_MASK));
WRMSR(MSR_HV_SIEFP, (orig & MSR_HV_SIEFP_RSVD_MASK));
WRMSR(sint, val);
WRMSR(sint, orig | MSR_HV_SINT_MASKED);