David Miller wrote:
From: BERTRAND_Joël <joel.bertrand@xxxxxxxxxxx>
Date: Thu, 11 Oct 2007 20:44:56 +0200
Hello,
I have built a 2.6.23 kernel on a T1000 server. I have seen this
message on system console :
David,
Looking at the trace some more, I'm %99.99999 sure you're using
gcc-4.2.x to build this and that compiler is known to miscompile SMP
sparc64 kernels.
I a first time, I though that is was this trouble, but I can see the
same bug with debian kernel provided by debian/testing (a 2.6.22
kernel). I don't know what compiler was used to build debian kernel.
gcc-4.1.x would never inline __flush_tsb_one() into flush_tsb_user(),
yet as is evident in your backtraces this is exactly what has
happened, therefore you must be using gcc-4.2.x or another non-4.1.x
compiler to build this.
OK, I will try to rebuild a kernel with gcc-4.1. Thanks for your help.
Regards,
JKB
-
To unsubscribe from this list: send the line "unsubscribe sparclinux" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
