39,6 → 39,7 |
#include <synch/rwlock.h> |
#include <config.h> |
#include <adt/list.h> |
#include <mm/slab.h> |
|
#define THREAD_STACK_SIZE STACK_SIZE |
|
82,7 → 83,7 |
timeout_t sleep_timeout; /**< Timeout used for timeoutable sleeping. */ |
volatile int timeout_pending; /**< Flag signalling sleep timeout in progress. */ |
|
fpu_context_t saved_fpu_context; |
fpu_context_t *saved_fpu_context; |
int fpu_context_exists; |
|
/* |
135,4 → 136,8 |
extern void thread_print_list(void); |
extern void thread_destroy(thread_t *t); |
|
|
/* Fpu context slab cache */ |
extern slab_cache_t *fpu_context_slab; |
|
#endif |