------- Comment #2 from jiez at gcc dot gnu dot org 2010-04-19 07:24 ------- Justin,
You can add V=1 when make linux kernel. Then you can find the command line used to compile rtmutex.c. Change -c in the command line to -E and return the command line. Rename the resulted rtmutex.o to rtmutex.i and attach that file here. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=43791