>>> David Laight <da...@l8s.co.uk> wrote > Is that a gcc bug?
I don't know. > Or are the high register bits usually undefined for 32bit values, > and this to do with using 64bit asm in a 32bit kernel? But I guess it's undefined from looking at the generated codes. Our kernel code is shared between 32-bit and 64-bit, and 64-bit asm is usually used in locore.s. -- Takeshi Nakayama