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