cb0509a8d5 ^
c19559b0bc ^
1 2 3
4
#include_next <fpu_control.h> /* Called at startup. It can be used to manipulate fpu control register. */ extern void __setfpucw (fpu_control_t);