INT64 __fastcall x86BiosWritePciDataPort(INT64 a1, UINT16 a2, INT64 a3){
int v4;
v4 = a3;
if( a2 + (int)a1 > 3 )
LODWORD(a1) = 3 - a2;
return((__int64(__fastcall *)(_QWORD, _QWORD, int *, _QWORD, int))XmSetPciData)(
BYTE2(XmPCIConfigAddress),
(XmPCIConfigAddress & 0x700 | ((unsigned int)XmPCIConfigAddress >> 8) & 0xF8) >> 3,
&v4,
a2 | (unsigned int)(unsigned __int8)XmPCIConfigAddress,
(int)a1 + 1);
}