x86BiosReadPciDataPort

NTSTATUS __stdcall x86BiosReadPciDataPort(INT64 a1, UINT16 a2){
  int v2; 
  NTSTATUS v4; 

  v4 = 0;
  v2 = a1;
  if( a2 + (int)a1 > 3 )
    v2 = 3 - a2;
  if( (unsigned int)((__int64(__fastcall *)(_QWORD, _QWORD, NTSTATUS *, _QWORD, int))qword_140C4A4C8)(
                       BYTE2(dword_140C50714),
                       (dword_140C50714 & 0x700 | ((unsigned int)dword_140C50714 >> 8) & 0xF8) >> 3,
                       &v4,
                       a2 | (unsigned int)(unsigned __int8)dword_140C50714,
                       v2 + 1) )
    return v4;
  else
    return(1 << (8 * v2 + 8)) - 1;
}

Referenced by: