/SPARTAN/trunk/arch/ia32/src/fpu_context.c |
---|
41,8 → 41,12 |
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; |
} |
} |
void fpu_lazy_context_save(fpu_context_t *fctx) |