Rev 56 | Rev 73 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 56 | Rev 57 | ||
|---|---|---|---|
| Line 2... | Line 2... | ||
| 2 | #ifndef fpu_context_h |
2 | #ifndef fpu_context_h |
| 3 | #define fpu_context_h |
3 | #define fpu_context_h |
| 4 | 4 | ||
| 5 | 5 | ||
| 6 | #include <arch/fpu_context.h> |
6 | #include <arch/fpu_context.h> |
| - | 7 | #include <typedefs.h> |
|
| 7 | 8 | ||
| 8 | - | ||
| 9 | extern void fpu_context_save(void); |
9 | extern void fpu_context_save(fpu_context_t *); |
| 10 | extern void fpu_context_restore(void); |
10 | extern void fpu_context_restore(fpu_context_t *); |
| 11 | extern void fpu_lazy_context_save(void); |
11 | extern void fpu_lazy_context_save(fpu_context_t *); |
| 12 | extern void fpu_lazy_context_restore(void); |
12 | extern void fpu_lazy_context_restore(fpu_context_t *); |
| 13 | 13 | ||
| 14 | 14 | ||
| 15 | 15 | ||
| 16 | #endif /*fpu_context_h*/ |
16 | #endif /*fpu_context_h*/ |