INT64 __fastcall HaliPciInterfaceWriteConfig(INT64 a1, UINT64 a2, UINT64 a3, VOID *a4, UINT64 a5, UINT64 a6){
UINT64 BugCheckParameter3;
UINT64 v8;
INT64 a7;
LODWORD(a7) = 1;
LODWORD(v8) = a6;
LODWORD(BugCheckParameter3) = a5;
HalpPCIConfig((INT64 *)((unsigned int)a2 >> 8), a2, a3, a4, BugCheckParameter3, v8, a7);
return(unsigned int)a6;
}