On Sun, Mar 23, 2008 at 01:19:35PM -0400, Albert Cahalan wrote: > Another way to solve the problem would be to have > some way to make gcc emit the symbol, perhaps by > an attribute that declares the address.
Just make it a longcall symbol. Either define it to be at 0xffff2718|1 in the linker script or create an assembly file that defines it as an absolute symbol with the low bit set, and it will act as Thumb. -- Daniel Jacobowitz CodeSourcery