Eric Botcazou wrote: >> I just need to save it. It needs to be saved so that the FPU >> pipeline is flushed. > > Then why not save it just below the stack pointer? > Wow, yes, that seems the right way! How simple, Thanks.