E500 linux : are the 64-bit GPRs context-switched ?

[Scott Wood]

On Mon, Feb 25, 2008 at 03:47:22PM +0100, Philippe De Muyter wrote:
> Searching around, I learned that the E500 GPR registers are 64-bits wide,
> and gcc targetted for powerpc-linuxspe uses them sometimes.  In the other
> PPC32 targets, those registers are 32-bits wide.
> 
> The specific E500 64-bit move instructions are `evstdd' and `evldd'.
> I searched in the linux kernel sources (2.6.24) but did not find where
> those GPR registers could be saved in 64-bit mode for context-switch.

giveup_spe and load_up_spe.

-Scott