// IoRead16 - decompiled from Platform.efi
UINT16 __cdecl IoRead16(UINTN Port)
{
  unsigned __int64 count_1; // rdx
  unsigned __int64 count; // rdi
  UINT16 Port_1; // ax

  count = count_1; /*0xace6*/
  Port_1 = Port; /*0xacec*/
  if ( count_1 ) /*0xacf2*/
  {
    if ( count_1 - 1 > ~Port ) /*0xacfe*/
      Assert( /*0xad13*/
        (__int64)"e:\\hs\\MdePkg\\Library\\BaseMemoryLibRepStr\\SetMemWrapper.c",
        54,
        (__int64)"(Length - 1) <= (0xFFFFFFFFFFFFFFFFULL - (UINTN)Buffer)");
    return (unsigned __int16)ReadMsr((void *)Port, count, 0); /*0xad21*/
  }
  return Port_1; /*0xad2b*/
}