Rev 73 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 73 | Rev 75 | ||
|---|---|---|---|
| Line 38... | Line 38... | ||
| 38 | } |
38 | } |
| 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->arch.fpu_owner) {reset_TS_flag(); } |
43 | if(THREAD==CPU->fpu_owner) {reset_TS_flag(); } |
| 44 | else {set_TS_flag(); ((CPU->arch).fpu_owner)->fpu_context_engaged=1;} |
44 | else {set_TS_flag(); (CPU->fpu_owner)->fpu_context_engaged=1;} |
| 45 | } |
45 | } |
| 46 | 46 | ||
| 47 | 47 | ||
| 48 | void fpu_lazy_context_save(fpu_context_t *fctx) |
48 | void fpu_lazy_context_save(fpu_context_t *fctx) |
| 49 | { |
49 | { |