4 typedef long os_context_register_t
;
6 static inline os_context_t
*arch_os_get_context(void **void_context
)
8 return (os_context_t
*) *void_context
;
11 unsigned long os_context_fp_control(os_context_t
*context
);
12 #define RESTORE_FP_CONTROL_FROM_CONTEXT
13 void os_restore_fp_control(os_context_t
*context
);
15 #endif /* _ARM_BSD_OS_H */