Rev 57 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 57 | Rev 73 | ||
|---|---|---|---|
| Line 8... | Line 8... | ||
| 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*/ |