------- Comment #10 from lennox at cs dot columbia dot edu 2008-02-12 22:46 ------- The right answer is probably to declare the system header functions "inline" when __GNUC_STDC_INLINE__, otherwise "extern inline"; or equivalently to declare them "extern inline __attribute__((__gnu_inline__))". You then need to provide an out-of-line definition in the appropriate system library, e.g. libgcc for the mmintrin functions.
Note that even if you declare the function with __attribute__((__always_inline__)), there are uses that require a non-inlined version of the function, e.g. pointer-to-function. This is the main reason why it's not practical for fixincludes to do this transformation on system headers. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34000