Rev 958 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 958 | Rev 1096 | ||
---|---|---|---|
Line 34... | Line 34... | ||
34 | 34 | ||
35 | void fpu_disable(void) |
35 | void fpu_disable(void) |
36 | { |
36 | { |
37 | #ifdef ARCH_HAS_FPU |
37 | #ifdef ARCH_HAS_FPU |
38 | cp0_status_write(cp0_status_read() & ~cp0_status_fpu_bit); |
38 | cp0_status_write(cp0_status_read() & ~cp0_status_fpu_bit); |
39 | if (THREAD && THREAD->istate) |
- | |
40 | THREAD->istate->status &= ~cp0_status_fpu_bit; |
- | |
41 | #endif |
39 | #endif |
42 | } |
40 | } |
43 | 41 | ||
44 | void fpu_enable(void) |
42 | void fpu_enable(void) |
45 | { |
43 | { |
46 | #ifdef ARCH_HAS_FPU |
44 | #ifdef ARCH_HAS_FPU |
47 | cp0_status_write(cp0_status_read() | cp0_status_fpu_bit); |
45 | cp0_status_write(cp0_status_read() | cp0_status_fpu_bit); |
48 | if (THREAD && THREAD->istate) |
- | |
49 | THREAD->istate->status |= cp0_status_fpu_bit; |
- | |
50 | #endif |
46 | #endif |
51 | } |
47 | } |
52 | 48 | ||
53 | void fpu_init() |
49 | void fpu_init() |
54 | { |
50 | { |