X86_CR4_OSFXSR
| X86_CR4_PGE | X86_CR4_PCE | X86_CR4_OSFXSR | X86_CR4_PCIDE \
cr4_mask |= X86_CR4_OSFXSR;
cr4_osfxsr = ctxt->ops->get_cr(ctxt, 4) & X86_CR4_OSFXSR;
if (!(ops->get_cr(ctxt, 4) & X86_CR4_OSFXSR)) {
(X86_CR4_PVI | X86_CR4_DE | X86_CR4_PCE | X86_CR4_OSFXSR \
cr4_fixed1_update(X86_CR4_OSFXSR, edx, feature_bit(FXSR));
sregs.cr4 |= X86_CR4_PAE | X86_CR4_OSFXSR;
X86_CR4_OSFXSR | X86_CR4_OSXMMEXCPT)