/* 00002870 */
void KernelRedirect(int flag)
{
      TRACE(3);
      *0x0000890c = *0x00008910 = 0;
      RemoveDevice(0x00006dc0);

      TRACE(4);
      switch(flag)
      {
            case 0:
                  _EnableKernelIORedirection();
                  break;
            case 1:
                  _DisableKernelIORedirection();
                  break;
            default:
                  return;
      }

      TRACE(5);
      FlushStdInOutPut();
      TRACE(6);
}

/*
примечания:
      0x0000890c - назначение неизвестно. используется в _cdevinput.
      0x00008910 - переменная увеличивает свое значение с каждым выводимым
            на STDIO символом (например в printf, putchar).
      0x00006dc0 - назначение неизвестно.
*/