Symbol: fpu_xstate_reload
sys/arch/x86/x86/fpu.c
768
fpu_xstate_reload(fpu_save, XCR0_X87);
sys/arch/x86/x86/fpu.c
804
fpu_xstate_reload(fpu_save, XCR0_X87);
sys/arch/x86/x86/fpu.c
848
fpu_xstate_reload(fpu_save, XCR0_X87 | XCR0_SSE);
sys/arch/x86/x86/fpu.c
861
fpu_xstate_reload(fpu_save, XCR0_X87 | XCR0_SSE);