Rev 75 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 75 | Rev 80 | ||
|---|---|---|---|
| Line 39... | Line 39... | ||
| 39 | 39 | ||
| 40 | 40 | ||
| 41 | void fpu_context_restore(fpu_context_t *fctx) |
41 | void fpu_context_restore(fpu_context_t *fctx) |
| 42 | { |
42 | { |
| 43 | if(THREAD==CPU->fpu_owner) {reset_TS_flag(); } |
43 | if(THREAD==CPU->fpu_owner) {reset_TS_flag(); } |
| - | 44 | else |
|
| - | 45 | { |
|
| - | 46 | set_TS_flag(); |
|
| 44 | else {set_TS_flag(); (CPU->fpu_owner)->fpu_context_engaged=1;} |
47 | if((CPU->fpu_owner)!=NULL)(CPU->fpu_owner)->fpu_context_engaged=1; |
| - | 48 | } |
|
| 45 | } |
49 | } |
| 46 | 50 | ||
| 47 | 51 | ||
| 48 | void fpu_lazy_context_save(fpu_context_t *fctx) |
52 | void fpu_lazy_context_save(fpu_context_t *fctx) |
| 49 | { |
53 | { |