34 static unsigned char *videoBuffer = (
unsigned char *) 0xB8000;
 
   45   videoBuffer[bufferOffset--] = 0x20;
 
   47   videoBuffer[bufferOffset] = 0x20;
 
   60   unsigned int bufferOffset = 0x0, character = 0x0, i = 0x0;
 
   77   while ((character = *
string++)) {
 
   80         bufferOffset = (bufferOffset / 160) * 160 + 160;
 
   83         videoBuffer[bufferOffset++] = character;
 
   88     if (bufferOffset >= 160 * 25) {
 
   89       for (i = 0; i < 160 * 24; i++) {
 
   90         videoBuffer[i] = videoBuffer[i + 160];
 
   92       for (i = 0; i < 80; i++) {
 
   93         videoBuffer[(160 * 24) + (i * 2)] = 0x20;
 
   94         videoBuffer[(160 * 24) + (i * 2) + 1] = 
printColor;
 
  101   outportByte(0x3D5, ((bufferOffset & 0x0ff) & 0xFF));
 
  112   for (i = 0x0; i < (80 * 25); i++) {
 
  113     videoBuffer[i * 2] = 0x20;