int __fastcall VgaDisplaySetPaletteEntry(int a1)
{
  int n0xFF; // edx

  n0xFF = ((a1 >> 14) & 0x8000) == 0 ? a1 >> 14 : 0;
  if ( (unsigned __int16)n0xFF > 0xFFu )
    return 255;
  return n0xFF;
}