Rev 56 | Rev 73 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 56 | Rev 57 | ||
---|---|---|---|
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 | 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*/ |
17 | 17 |