--- a/TaskManager/kernel/schedule/Scheduler.cc	Sun Nov 15 04:56:09 2009 +0900
+++ b/TaskManager/kernel/schedule/Scheduler.cc	Mon Nov 16 10:59:55 2009 +0900
@@ -91,13 +91,13 @@
 
 
 void
-Scheduler::dma_load(void *buf, uint32 addr, uint32 size, uint32 mask)
+Scheduler::dma_load(void *buf, memaddr addr, uint32 size, uint32 mask)
 {
     connector->dma_load(buf, addr, size, mask);
 }
 
 void
-Scheduler::dma_store(void *buf, uint32 addr, uint32 size, uint32 mask)
+Scheduler::dma_store(void *buf, memaddr addr, uint32 size, uint32 mask)
 {
     connector->dma_store(buf, addr, size, mask);
 }
@@ -122,12 +122,12 @@
 }
 
 void
-Scheduler::mail_write(uint32 data)
+Scheduler::mail_write(memaddr data)
 {
     connector->mail_write(data);
 }
 
-uint32
+memaddr
 Scheduler::mail_read()
 {
     return connector->mail_read();