// InternalLShift64 - addr:0xffdaf417
__int64 __cdecl InternalLShift64(__int64 a1)
{
  unsigned int n0x40; // ecx
  int PeiServicesPpi; // eax
  __int64 v3; // rax
  char n0x40_1; // [esp+0h] [ebp-4h]

  n0x40_1 = n0x40;
  if ( n0x40 >= 0x40 )
  {
    PeiServicesPpi = GetPeiServicesPpi();
    if ( PeiServicesPpi )
      (*(void (__cdecl **)(const char *, int, const char *))(PeiServicesPpi + 4))(
        "e:\\hs\\MdePkg\\Library\\BaseLib\\LShiftU64.c",
        39,
        "Count < 64");
  }
  LODWORD(v3) = 0;
  HIDWORD(v3) = a1;
  if ( (n0x40_1 & 0x20) == 0 )
    v3 = a1;
  return v3 << (n0x40_1 & 0x1F);
}