extern void SwitchTasks(Uint NewSP, Uint *OldSP, Uint NewIP, Uint *OldIO, Uint CR3);
extern void Proc_InitialiseSSE(void);
extern void Proc_SaveSSE(Uint DestPtr);
extern void SwitchTasks(Uint NewSP, Uint *OldSP, Uint NewIP, Uint *OldIO, Uint CR3);
extern void Proc_InitialiseSSE(void);
extern void Proc_SaveSSE(Uint DestPtr);