Symbol: CPU_OSFXSR
sys/arch/x86/x86/x86_machdep.c
1553
CPU_OSFXSR);
tests/sys/x86/t_convert_xmm_s87.c
72
int mib[] = { CTL_MACHDEP, CPU_OSFXSR };