David Miller wrote:
From: BERTRAND_Joël <[EMAIL PROTECTED]>
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 [EMAIL PROTECTED]
More majordomo info at  http://vger.kernel.org/majordomo-info.html

Reply via email to