Rev 93 | Rev 381 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 93 | Rev 309 | ||
---|---|---|---|
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_lazy_context_save(fpu_context_t *); |
- | |
39 | extern void fpu_lazy_context_restore(fpu_context_t *); |
- | |
40 | extern void fpu_init(void); |
38 | extern void fpu_init(void); |
- | 39 | extern void fpu_enable(void); |
|
- | 40 | extern void fpu_disable(void); |
|
41 | 41 | ||
42 | 42 | ||
43 | #endif /*fpu_context_h*/ |
43 | #endif /*fpu_context_h*/ |
44 | 44 |