glibc/sysdeps/x86_64/soft-fp
..
sfp-machine.h