Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2071 | Rev 3880 | ||
|---|---|---|---|
| Line 38... | Line 38... | ||
| 38 | #include <arch/cp0.h> |
38 | #include <arch/cp0.h> |
| 39 | #include <proc/thread.h> |
39 | #include <proc/thread.h> |
| 40 | 40 | ||
| 41 | void fpu_disable(void) |
41 | void fpu_disable(void) |
| 42 | { |
42 | { |
| 43 | #ifdef ARCH_HAS_FPU |
43 | #ifdef CONFIG_FPU |
| 44 | cp0_status_write(cp0_status_read() & ~cp0_status_fpu_bit); |
44 | cp0_status_write(cp0_status_read() & ~cp0_status_fpu_bit); |
| 45 | #endif |
45 | #endif |
| 46 | } |
46 | } |
| 47 | 47 | ||
| 48 | void fpu_enable(void) |
48 | void fpu_enable(void) |
| 49 | { |
49 | { |
| 50 | #ifdef ARCH_HAS_FPU |
50 | #ifdef CONFIG_FPU |
| 51 | cp0_status_write(cp0_status_read() | cp0_status_fpu_bit); |
51 | cp0_status_write(cp0_status_read() | cp0_status_fpu_bit); |
| 52 | #endif |
52 | #endif |
| 53 | } |
53 | } |
| 54 | 54 | ||
| 55 | void fpu_init() |
55 | void fpu_init() |