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 : 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. 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. Please rebuild with gcc-4.1.x, I guarentee the crash will go away. - 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