On Tue, 15 Apr 2008, Ingo Molnar wrote:> ah. Then the patch below should do the trick, right?Hopefully. The linker sometimes reacts in funky ways and we do some strange magic with the offsets through gcc memory models (at least on x86_64 not sure what 32 bit does).