NTSTATUS __stdcall HalpKdWritePCIConfig(
UINT64 BusNumber,
ULONG_PTR SlotNumber,
VOID *Buffer,
ULONG_PTR Offset,
UINT64 Length){
UINT64 BugCheckParameter3;
UINT64 Size;
LODWORD(Size) = Length;
LODWORD(BugCheckParameter3) = Offset;
HalpPCIConfig(
(INT64 *)(unsigned __int16)((unsigned int)BusNumber >> 8),
BusNumber,
(PVOID)SlotNumber,
Buffer,
BugCheckParameter3,
Size,
PCI_WRITE);
return Length;
}