NTSTATUS __stdcall 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))qword_140C4A4D0)(
BYTE2(dword_140C50714),
(dword_140C50714 & 0x700 | ((unsigned int)dword_140C50714 >> 8) & 0xF8) >> 3,
&v4,
a2 | (unsigned int)(unsigned __int8)dword_140C50714,
(int)a1 + 1);
}