MSR_IA32_XFD_ERR
rdmsrq(MSR_IA32_XFD_ERR, xfd_err);
wrmsrq(MSR_IA32_XFD_ERR, 0);
vmx_set_intercept_for_msr(vcpu, MSR_IA32_XFD_ERR, MSR_TYPE_R,
rdmsrq(MSR_IA32_XFD_ERR, vcpu->arch.guest_fpu.xfd_err);
wrmsrq(MSR_IA32_XFD_ERR, vcpu->arch.guest_fpu.xfd_err);
wrmsrq(MSR_IA32_XFD_ERR, 0);
MSR_IA32_XFD, MSR_IA32_XFD_ERR, MSR_IA32_XSS,
case MSR_IA32_XFD_ERR:
case MSR_IA32_XFD_ERR:
case MSR_IA32_XFD_ERR:
GUEST_ASSERT(rdmsr(MSR_IA32_XFD_ERR) == XFEATURE_MASK_XTILE_DATA);
GUEST_ASSERT(rdmsr(MSR_IA32_XFD_ERR) == XFEATURE_MASK_XTILE_DATA);
wrmsr(MSR_IA32_XFD_ERR, 0);