Rev 57 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 57 | Rev 73 | ||
|---|---|---|---|
| 1 | 1 | ||
| 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 | #include <typedefs.h> |
| 8 | 8 | ||
| 9 | extern void fpu_context_save(fpu_context_t *); |
9 | extern void fpu_context_save(fpu_context_t *); |
| 10 | extern void fpu_context_restore(fpu_context_t *); |
10 | extern void fpu_context_restore(fpu_context_t *); |
| 11 | extern void fpu_lazy_context_save(fpu_context_t *); |
11 | extern void fpu_lazy_context_save(fpu_context_t *); |
| 12 | extern void fpu_lazy_context_restore(fpu_context_t *); |
12 | extern void fpu_lazy_context_restore(fpu_context_t *); |
| 13 | - | ||
| - | 13 | extern void fpu_init(void); |
|
| 14 | 14 | ||
| 15 | 15 | ||
| 16 | #endif /*fpu_context_h*/ |
16 | #endif /*fpu_context_h*/ |
| 17 | 17 | ||