On Sat, Mar 03, 2012 at 08:50:50AM +0000, David Laight wrote: > > Is that a gcc bug? No, gcc calls a function with 32bit abi and expects it to ignore the upper bits in that register. The patch makes it so. Good catch! Martin