Rev 1882 | Rev 2071 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1882 | Rev 1888 | ||
---|---|---|---|
Line 30... | Line 30... | ||
30 | * @{ |
30 | * @{ |
31 | */ |
31 | */ |
32 | /** @file |
32 | /** @file |
33 | */ |
33 | */ |
34 | 34 | ||
35 | #ifndef __FPU_CONTEXT_H__ |
35 | #ifndef KERN_FPU_CONTEXT_H_ |
36 | #define __FPU_CONTEXT_H__ |
36 | #define KERN_FPU_CONTEXT_H_ |
37 | 37 | ||
38 | #include <arch/fpu_context.h> |
38 | #include <arch/fpu_context.h> |
39 | #include <typedefs.h> |
39 | #include <typedefs.h> |
40 | 40 | ||
41 | #if defined(CONFIG_FPU_LAZY) && !defined(ARCH_HAS_FPU) |
41 | #if defined(CONFIG_FPU_LAZY) && !defined(ARCH_HAS_FPU) |
Line 46... | Line 46... | ||
46 | extern void fpu_context_restore(fpu_context_t *); |
46 | extern void fpu_context_restore(fpu_context_t *); |
47 | extern void fpu_init(void); |
47 | extern void fpu_init(void); |
48 | extern void fpu_enable(void); |
48 | extern void fpu_enable(void); |
49 | extern void fpu_disable(void); |
49 | extern void fpu_disable(void); |
50 | 50 | ||
51 | - | ||
52 | #endif /* __FPU_CONTEXT_H__ */ |
51 | #endif /* KERN_FPU_CONTEXT_H_ */ |
53 | - | ||
54 | 52 | ||
55 | /** @} |
53 | /** @} |
56 | */ |
54 | */ |