return (os_context_t *) *void_context;
}
-extern struct thread *arch_os_get_current_thread();
unsigned long os_context_fp_control(os_context_t *context);
void os_restore_fp_control(os_context_t *context);
-int arch_os_thread_init(struct thread *thread);
#endif /* _X86_LINUX_OS_H */