Rev 73 | Rev 80 | 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 | { |