// WritePciCfg - decompiled from Platform.efi
_BYTE *__fastcall WritePciCfg(_BYTE *_r_n, _BYTE *_r_n_1, __int64 i_1, __int16 n48, __int64 n2)
{
  __int64 i; // r10

  for ( i = 0; i < i_1; ++i ) /*0x62a6*/
  {
    if ( _r_n >= _r_n_1 ) /*0x62ab*/
      break; /*0x62ab*/
    *_r_n = n48; /*0x62b3*/
    if ( n2 != 1 ) /*0x62b6*/
      _r_n[1] = HIBYTE(n48); /*0x62bf*/
    _r_n += n2; /*0x62c2*/
  }
  return _r_n; /*0x62d2*/
}