| /SPARTAN/trunk/generic/include/print.h |
|---|
| 36,11 → 36,6 |
| #define INT32 4 |
| #define INT64 8 |
| static void print_double(double num, __u8 modifier, __u16 precision) ; |
| static void print_str(const char *str); |
| static void print_fixed_hex(const __u64 num, const int width); |
| static void print_number(const __native num, const unsigned int base); |
| extern void putchar(const char c); |
| extern void printf(const char *fmt, ...); |
| /SPARTAN/trunk/generic/include/proc/scheduler.h |
|---|
| 44,11 → 44,6 |
| }; |
| extern volatile count_t nrdy; |
| static thread_t *find_best_thread(void); |
| static void relink_rq(int start); |
| static void scheduler_separated_stack(void); |
| extern void scheduler_init(void); |
| extern void scheduler_fpu_lazy_request(void); |
| /SPARTAN/trunk/generic/include/proc/thread.h |
|---|
| 112,8 → 112,6 |
| extern spinlock_t threads_lock; /**< Lock protecting threads_head list. */ |
| extern link_t threads_head; /**< List of all threads in the system. */ |
| static void cushion(void); |
| extern void thread_init(void); |
| extern thread_t *thread_create(void (* func)(void *), void *arg, task_t *task, int flags); |
| extern void thread_ready(thread_t *t); |