--- a/TaskManager/kernel/schedule/SchedTask.h	Sun Nov 15 04:56:09 2009 +0900
+++ b/TaskManager/kernel/schedule/SchedTask.h	Mon Nov 16 10:59:55 2009 +0900
@@ -70,12 +70,12 @@
 
     void* get_input(void *buff, int index);
     void* get_output(void *buff, int index);
-    uint32 get_inputAddr(int index);
-    uint32 get_outputAddr(int index);
+    memaddr get_inputAddr(int index);
+    memaddr get_outputAddr(int index);
     // 書き出しを追加する API がない... 
     int get_inputSize(int index);
     int get_outputSize(int index);
-    int get_param(int index);
+    memaddr get_param(int index);
 
 
 
@@ -102,8 +102,8 @@
     }
 
     /* これは禁止するべき */
-    void dma_load(void *buf, uint32 addr, uint32 size, uint32 mask);
-    void dma_store(void *buf,uint32 addr, uint32 size, uint32 mask);
+    void dma_load(void *buf, memaddr addr, uint32 size, uint32 mask);
+    void dma_store(void *buf,memaddr addr, uint32 size, uint32 mask);
     void dma_wait(uint32 mask);
     void show_dma_wait();