--- a/TaskManager/kernel/ppe/TaskManager.h	Fri Sep 18 18:28:56 2009 +0900
+++ b/TaskManager/kernel/ppe/TaskManager.h	Sun Sep 20 18:55:26 2009 +0900
@@ -10,25 +10,25 @@
 public:
     /* constructor */
     TaskManager(int num = 1); // The number of threads
-    ~TaskManager(void);
+    ~TaskManager();
 
     /* variables */
     TaskManagerImpl *m_impl;
-    void (*tm_end)(void);
+    void (*tm_end)(TaskManager *manager);
     RandomPtr gen_random;
 
     /* user function */
     HTaskPtr create_task(int cmd);
-    void run(void);
+    void run();
     void *allocate(int size);
-    void set_TMend(void (*endf)(void));
-    int get_cpuNum(void);
-    int get_random(void);
+    void set_TMend(void (*endf)(TaskManager *manager));
+    int get_cpuNum();
+    int get_random();
     Scheduler *get_scheduler();
 
     /* functions */
-    void init(void);
-    void finish(void);
+    void init();
+    void finish();
 
 private:
     int machineNum;
@@ -36,5 +36,5 @@
 
 #endif
 
-extern TaskManager *manager;
+//extern TaskManager *manager;