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