x86BiosReadPciDataPort

INT64 __fastcall x86BiosReadPciDataPort(INT64 a1, UINT16 a2){
  int v2; 
  unsigned int v4; 
  v4 = 0;
  v2 = a1;
  if( a2 + (int)a1 > 3 )
    v2 = 3 - a2;
  if( (unsigned int)((__int64(__fastcall *)(_QWORD, _QWORD, unsigned int *, _QWORD, int))XmGetPciData)(
                       BYTE2(XmPCIConfigAddress),
                       (XmPCIConfigAddress & 0x700 | ((unsigned int)XmPCIConfigAddress >> 8) & 0xF8) >> 3,
                       &v4,
                       a2 | (unsigned int)(unsigned __int8)XmPCIConfigAddress,
                       v2 + 1) )
    return v4;
  else
    return(unsigned int)((1 << (8 * v2 + 8)) - 1);
}

Referenced by: