/SPARTAN/trunk/arch/ia32/src/fpu_context.c |
---|
41,7 → 41,11 |
void fpu_context_restore(fpu_context_t *fctx) |
{ |
if(THREAD==CPU->fpu_owner) {reset_TS_flag(); } |
else {set_TS_flag(); (CPU->fpu_owner)->fpu_context_engaged=1;} |
else |
{ |
set_TS_flag(); |
if((CPU->fpu_owner)!=NULL)(CPU->fpu_owner)->fpu_context_engaged=1; |
} |
} |