diff options
| -rw-r--r-- | src/kernel/console.C | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/kernel/console.C b/src/kernel/console.C index 373d67c4f..6912b8450 100644 --- a/src/kernel/console.C +++ b/src/kernel/console.C @@ -3,7 +3,6 @@ #include <util/sprintf.H> #include <util/functor.H> #include <stdarg.h> -#include <arch/ppc.H> char kernel_printk_buffer[Console::BUFFER_SIZE]; @@ -20,10 +19,7 @@ int Console::putc(int c) } else if (BUFFER_SIZE > iv_pos) { - size_t pos = __sync_fetch_and_add(&iv_pos, 1); - iv_buffer[pos] = c; - dcbf(&iv_buffer[pos]); // TODO: This is temporary for VBU since we - // can't read the L3 if data is in L2. + iv_buffer[__sync_fetch_and_add(&iv_pos, 1)] = c; } return c; } |
