diff TaskManager/kernel/schedule/Scheduler.h @ 742:4c2e6493b008

continue..
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 12 Jan 2010 10:22:45 +0900
parents 31d0a5baafdf
children 2708c4a7bade 496a8159e840
line wrap: on
line diff
--- a/TaskManager/kernel/schedule/Scheduler.h	Tue Jan 12 10:18:48 2010 +0900
+++ b/TaskManager/kernel/schedule/Scheduler.h	Tue Jan 12 10:22:45 2010 +0900
@@ -138,7 +138,7 @@
     long get_random() ;
     Scheduler *get_scheduler() { return this; };
     int printf(const char *format, ...);
-    int vprintf(const char *format, va_list ap);
+    int vprintf0(const char *format, va_list ap);
 
 };