[Patch] missing the volatile keyword in putc

"Mai, Haohui" <[email protected]> Wed, 23 Dec 2009 14:59:59 -0600

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

Hi,

It seems to me that the video ram should be marked as volatile. :-)

Merry Christmas.

Cheers,

Haohui

===


Index: user/lib/io/ia32-putc.cc
===================================================================
--- user/lib/io/ia32-putc.cc    (revision 1121)
+++ user/lib/io/ia32-putc.cc    (working copy)
@@ -62,7 +62,7 @@

  #else /* ! CONFIG_COMPORT */

-#define DISPLAY ((char*)0xb8000)
+#define DISPLAY ((volatile char*)0xb8000)
  #define COLOR 7
  #define NUM_LINES 25

Index: user/lib/io/amd64-putc.cc
===================================================================
--- user/lib/io/amd64-putc.cc    (revision 1121)
+++ user/lib/io/amd64-putc.cc    (working copy)
@@ -59,7 +59,7 @@
  }
  #else /* ! CONFIG_COMPORT */

-#define DISPLAY ((char*)0xb8000)
+#define DISPLAY ((volatile char*)0xb8000)
  #define COLOR 7
  #define NUM_LINES 25
  unsigned __cursor;