INT64 __fastcall HalpWritePCIConfig(UINT16 a1, UINT8 a2, UINT64 a3, VOID *a4, UINT64 a5, UINT64 a6){
unsigned int v7;
UINT64 BugCheckParameter3;
UINT64 v12;
INT64 a7;
v7 = a3;
if( !HalpValidPCISlot(a1, a2, a3) )
return 0i64;
LODWORD(a7) = 1;
LODWORD(v12) = a6;
LODWORD(BugCheckParameter3) = a5;
HalpPCIConfig((INT64 *)a1, a2, v7, a4, BugCheckParameter3, v12, a7);
return(unsigned int)a6;
}