MSR_IA32_XFD
rdmsrq(MSR_IA32_XFD, fpstate->xfd);
wrmsrq(MSR_IA32_XFD, x86_task_fpu(current)->fpstate->xfd);
wrmsrq(MSR_IA32_XFD, xfd);
case MSR_IA32_XFD:
vmx_disable_intercept_for_msr(vcpu, MSR_IA32_XFD,
vmx_disable_intercept_for_msr(vcpu, MSR_IA32_XFD, MSR_TYPE_RW);
MSR_IA32_XFD, MSR_IA32_XFD_ERR, MSR_IA32_XSS,
case MSR_IA32_XFD:
case MSR_IA32_XFD:
case MSR_IA32_XFD:
wrmsr(MSR_IA32_XFD, 0);
GUEST_ASSERT(rdmsr(MSR_IA32_XFD) == 0);
wrmsr(MSR_IA32_XFD, XFEATURE_MASK_XTILE_DATA);
wrmsr(MSR_IA32_XFD, 0);
wrmsr(MSR_IA32_XFD, XFEATURE_MASK_XTILE_DATA);
GUEST_ASSERT(rdmsr(MSR_IA32_XFD) == XFEATURE_MASK_XTILE_DATA);
GUEST_ASSERT(rdmsr(MSR_IA32_XFD) == XFEATURE_MASK_XTILE_DATA);
GUEST_ASSERT(rdmsr(MSR_IA32_XFD) == XFEATURE_MASK_XTILE_DATA);
wrmsr(MSR_IA32_XFD, 0);