--- a/TaskManager/kernel/ppe/HTask.h	Mon Oct 12 02:50:01 2009 +0900
+++ b/TaskManager/kernel/ppe/HTask.h	Mon Oct 12 09:39:35 2009 +0900
@@ -7,6 +7,9 @@
 #include "TaskQueueInfo.h"
 
 class TaskManagerImpl;
+class SchedTask;
+
+typedef void (*PostFunction)(SchedTask *s, void *read, void *write);
 
 /*!
   @class
@@ -25,8 +28,9 @@
 
     TaskQueueInfo *wait_me;  // List of task waiting for me
     TaskQueueInfo *wait_i;   // List of task for which I am waiting
-    void (*post_func)(void *arg);
-    void *post_arg;
+    PostFunction func;
+    void *post_arg1;
+    void *post_arg2;
     CPU_TYPE cpu_type;
     TaskManagerImpl *mimpl;
 
@@ -37,7 +41,7 @@
     void spawn(void);
     void wait_for(HTask *);
     void set_cpu(CPU_TYPE type);    
-    void set_post(void (*func)(void *), void *arg);
+    void set_post(PostFunction func, void *read, void *write);
 };
 
 typedef HTask* HTaskPtr;