NTSTATUS __stdcall HalpKdReadPCIConfig(UINT64 BusNumber, UINT64 SlotNumber, PVOID Buffer, UINT64 Offset, UINT64 arg20){
UINT64 a5;
UINT64 a6;
LODWORD(a6) = arg20;
LODWORD(a5) = Offset;
return HaliPciInterfaceReadConfig(0i64, (unsigned int)BusNumber, (unsigned int)SlotNumber, Buffer, a5, a6);
}