Symbol: x87_supported
tests/kernel/arch/x86/sig_fpu.h
34
bool x87_supported(void);
tests/kernel/t_signal_and_fpu.c
367
test_signal_fpu(&x87_supported, &test_x87, &trash_x87, NULL);