Rev 75 | Rev 84 | 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 | { |