/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); |