# HG changeset patch
# User gongo
# Date 1202986183 -32400
# Node ID b51daa049bc3c32601e37f15ae340555b92ea968
# Parent  db136fb5c21d3efa9246459b832c0d6d30b3b625
*** empty log message ***

diff -r db136fb5c21d -r b51daa049bc3 TaskManager/kernel/ppe/BufferManager.cc
--- a/TaskManager/kernel/ppe/BufferManager.cc	Thu Feb 14 19:37:14 2008 +0900
+++ b/TaskManager/kernel/ppe/BufferManager.cc	Thu Feb 14 19:49:43 2008 +0900
@@ -1,16 +1,17 @@
+#include <stdio.h>
 #include <stdlib.h>
 #include "BufferManager.h"
 #include "error.h"
 
 BufferManager::BufferManager(int siz)
 {
-    buffer_db_size = siz;
+    buffer_db_size = siz*4;
 }
 
 void
 BufferManager::init(void)
 {
-    buffer_db = new void*[buffer_db_size*4];
+    buffer_db = new void*[buffer_db_size];
     buffer_db_index = 0;
 }
 
@@ -38,9 +39,9 @@
 BufferManager::switch_buffer(void* cur)
 {
     int next_index;
-    int max = buffer_db_size*4;
+    int max = buffer_db_size;
 
-    for (int i = 0; i < max; i = i + 2) {
+    for (int i = 0; i < buffer_db_size; i = i + 2) {
 	if (cur == buffer_db[i]) {
 	    next_index = (int)(buffer_db[i+1]);
 	    return buffer_db[i + next_index];