// GetUint16AtIndex - decompiled from Platform.efi
__int64 __fastcall GetUint16AtIndex(__int64 a1, unsigned __int64 n16)
{
  char n16_1; // di

  n16_1 = n16; /*0x5a8e*/
  if ( n16 >= 0x40 ) /*0x5a98*/
    Assert((__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\LShiftU64.c", 39, (__int64)"Count < 64"); /*0x5aad*/
  return a1 << n16_1; /*0x5ac0*/
}