Rev 534 | Rev 906 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 534 | Rev 827 | ||
|---|---|---|---|
| Line 33... | Line 33... | ||
| 33 | #include <arch/fpu_context.h> |
33 | #include <arch/fpu_context.h> |
| 34 | #include <typedefs.h> |
34 | #include <typedefs.h> |
| 35 | 35 | ||
| 36 | extern void fpu_context_save(fpu_context_t *); |
36 | extern void fpu_context_save(fpu_context_t *); |
| 37 | extern void fpu_context_restore(fpu_context_t *); |
37 | extern void fpu_context_restore(fpu_context_t *); |
| 38 | extern void fpu_init(void); |
38 | extern void fpu_init(fpu_context_t *); |
| 39 | extern void fpu_enable(void); |
39 | extern void fpu_enable(void); |
| 40 | extern void fpu_disable(void); |
40 | extern void fpu_disable(void); |
| 41 | 41 | ||
| 42 | 42 | ||
| 43 | #endif /* __FPU_CONTEXT_H__ */ |
43 | #endif /* __FPU_CONTEXT_H__ */ |