int __fastcall VgaDisplayEnableColor(__int16 a1, __int16 a2, __int16 a3)
{
  int v3; // esi
  int v4; // ebx
  int v5; // edi
  int v7; // [esp+14h] [ebp+8h]

  v3 = 11700 * a3;
  v4 = a1 << 14;
  v5 = 5638 * a2;
  v7 = __ROL4__(VgaDisplaySetPaletteEntry(v4 + 23400 * a3), 16);
  BYTE1(v7) = VgaDisplaySetPaletteEntry(v4 - v5 - v3);
  LOBYTE(v7) = VgaDisplaySetPaletteEntry(v4 + (v5 >> 3) + 5 * v5);
  return v7;
}