XCR0_FPU
wrxcr(0, x86_xsave_features & XCR0_FPU);
xstate->xs_rfbm = x86_xsave_features & XCR0_FPU;
if ((xstate->xs_rfbm & ~(x86_xsave_features & XCR0_FPU)) != 0)
wrxcr(0, x86_xsave_features & XCR0_FPU);
wrxcr(0, x86_xsave_features & XCR0_FPU);