// ReadPciCfg - decompiled from Platform.efi
_BYTE *__fastcall ReadPciCfg(_BYTE *_r_n, unsigned __int64 a2, __int64 n16)
{
  int n16_1; // edi
  unsigned __int64 n16_2; // rbp
  _BYTE *_r_n_1; // rbx
  unsigned __int64 v7; // rtt

  n16_1 = n16; /*0x62e8*/
  *_r_n = 0; /*0x62eb*/
  n16_2 = (unsigned int)n16; /*0x62f1*/
  _r_n_1 = _r_n; /*0x62f4*/
  do /*0x6330*/
  {
    if ( !n16_1 ) /*0x62f9*/
      Assert((__int64)"e:\\hs\\MdePkg\\Library\\BaseLib\\DivU64x32Remainder.c", 47, (__int64)"Divisor != 0"); /*0x630c*/
    ++_r_n_1; /*0x631d*/
    v7 = a2; /*0x6320*/
    a2 /= n16_2; /*0x6323*/
    *_r_n_1 = a0123456789abcd[(unsigned int)(v7 % n16_2)]; /*0x632b*/
  }
  while ( a2 ); /*0x6330*/
  return _r_n_1; /*0x6344*/
}