comparison TaskManager/kernel/schedule/Scheduler.h @ 899:586b4f825f24

minor fix..
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 16 Jul 2010 22:20:02 +0900
parents bed529c55eda
children e015a4e5e4b0
comparison
equal deleted inserted replaced
898:ae9231be6dbd 899:586b4f825f24
137 long get_random() ; 137 long get_random() ;
138 Scheduler *get_scheduler() { return this; }; 138 Scheduler *get_scheduler() { return this; };
139 int printf(const char *format, ...); 139 int printf(const char *format, ...);
140 int vprintf0(const char *format, va_list ap); 140 int vprintf0(const char *format, va_list ap);
141 141
142 } __attribute__ ((aligned (DEFAULT_ALIGNMENT))); 142 } ;
143 143
144 extern void register_task(int cmd, TaskObjectRun run); 144 extern void register_task(int cmd, TaskObjectRun run);
145 extern void register_dynamic_task(int cmd, 145 extern void register_dynamic_task(int cmd,
146 memaddr start, int size, TaskObjectRun run, 146 memaddr start, int size, TaskObjectRun run,
147 int entry_offset); 147 int entry_offset);