# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1260031698 -32400
# Node ID a06eef665c455b4da8dbe05595a5628aedd3eb3a
# Parent  45ddb28c592d5ed4a61ae47d80e64853ed71c76a
mail time

diff -r 45ddb28c592d -r a06eef665c45 TaskManager/Cell/spe/CellDmaManager.cc
--- a/TaskManager/Cell/spe/CellDmaManager.cc	Sun Dec 06 01:20:41 2009 +0900
+++ b/TaskManager/Cell/spe/CellDmaManager.cc	Sun Dec 06 01:48:18 2009 +0900
@@ -109,7 +109,7 @@
 }
 
 void
-CellDmaManager::do_end_dmawait_profile(long long *counter)
+CellDmaManager::do_end_dmawait_profile(unsigned long long *counter)
 {
     wait_time = spu_readch(SPU_RdDec);
     *counter += 0xffffffff - wait_time;
@@ -117,7 +117,7 @@
 }
 
 void CellDmaManager::null_start_dmawait_profile() {}
-void CellDmaManager::null_end_dmawait_profile() {}
+void CellDmaManager::null_end_dmawait_profile(unsigned long long *counter) {}
 
 void
 CellDmaManager::show_dma_wait(int cpu)
@@ -125,11 +125,12 @@
 
   double r = ((double)global_busy_time)/((double)(
 	global_busy_time+global_wait_time+global_mail_time
-	))*100.0);
-  printf("spu%d: busy_time = %lld",cpu, global_busy_time);
-  printf(" wait_time = %lld", global_wait_time);
-  printf(" mail_time = %lld", global_mail_time);
-  printf(" busy_ratio = %g%%\n",r);
+	))*100.0;
+  printf("spu%d: busy_time = %lld"
+  " wait_time = %lld"
+  " mail_time = %lld" 
+  " busy_ratio = %g%%\n", cpu, global_busy_time,
+    global_wait_time, global_mail_time, r);
 }
 
 
diff -r 45ddb28c592d -r a06eef665c45 TaskManager/Cell/spe/CellDmaManager.h
--- a/TaskManager/Cell/spe/CellDmaManager.h	Sun Dec 06 01:20:41 2009 +0900
+++ b/TaskManager/Cell/spe/CellDmaManager.h	Sun Dec 06 01:48:18 2009 +0900
@@ -30,7 +30,7 @@
     void dma_store(void *buf, memaddr addr, uint32 size, uint32 mask);
     void dma_wait(uint32 mask) ;
     void (CellDmaManager::*start_dmawait_profile)();
-    void (CellDmaManager::*end_dmawait_profile)();
+    void (CellDmaManager::*end_dmawait_profile)(unsigned long long *counter);
     void start_profile();
     void stop_profile();
 
@@ -45,9 +45,9 @@
     private:
 
     void do_start_dmawait_profile();
-    void do_end_dmawait_profile();
+    void do_end_dmawait_profile(unsigned long long *counter);
     void null_start_dmawait_profile();
-    void null_end_dmawait_profile();
+    void null_end_dmawait_profile(unsigned long long *counter);
 
 
 /* end */