Symbol: x86_fpu_save_separate_p
sys/arch/x86/include/cpu.h
484
bool x86_fpu_save_separate_p(void);
sys/arch/x86/x86/fpu.c
241
if (x86_fpu_save_separate_p()) {
sys/arch/x86/x86/fpu.c
250
if (x86_fpu_save_separate_p()) {
sys/arch/x86/x86/vm_machdep.c
395
} else if (x86_fpu_save_separate_p()) { /* (2) */
sys/arch/x86/x86/vm_machdep.c
437
KASSERTMSG(x86_fpu_save_separate_p(), "pcb=%p pcb_savefpu=%p",