HomeSort by: relevance | last modified time | path
    Searched refs:XCR0_FPU (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/arch/x86/x86/
fpu.c 920 xstate->xs_rfbm = x86_xsave_features & XCR0_FPU;
963 if ((xstate->xs_rfbm & ~(x86_xsave_features & XCR0_FPU)) != 0)
identcpu.c 832 wrxcr(0, x86_xsave_features & XCR0_FPU);
cpu.c 711 wrxcr(0, x86_xsave_features & XCR0_FPU);
  /src/sys/arch/x86/include/
specialreg.h 189 #define XCR0_FPU (XCR0_X87 | XCR0_SSE | XCR0_YMM_Hi128 | \
192 #define XCR0_FPU (XCR0_X87 | XCR0_SSE | XCR0_YMM_Hi128 | \
210 * Highest XSAVE component enabled by XCR0_FPU.
  /src/sys/arch/xen/x86/
cpu.c 579 wrxcr(0, x86_xsave_features & XCR0_FPU);

Completed in 28 milliseconds