gcc/libgcc/config/arm
..
bpabi-lib.h