| /kernel/trunk/generic/include/fpu_context.h |
|---|
| 35,7 → 35,7 |
| extern void fpu_context_save(fpu_context_t *); |
| extern void fpu_context_restore(fpu_context_t *); |
| extern void fpu_init(void); |
| extern void fpu_init(fpu_context_t *); |
| extern void fpu_enable(void); |
| extern void fpu_disable(void); |
| /kernel/trunk/generic/include/mm/frame.h |
|---|
| 57,13 → 57,8 |
| { |
| __address e1 = s1+sz1; |
| __address e2 = s2+sz2; |
| if (s1 >= s2 && s1 < e2) |
| return 1; |
| if (e1 >= s2 && e1 < e2) |
| return 1; |
| if ((s1 < s2) && (e1 >= e2)) |
| return 1; |
| return 0; |
| return s1 < e2 && s2 < e1; |
| } |
| static inline __address PFN2ADDR(pfn_t frame) |