void __stdcall IoFreeMapRegisters(PDMA_ADAPTER DmaAdapter, PVOID MapRegisterBase, ULONG NumberOfMapRegisters){
unsigned int v3;
__int64 v4;
__int64 v5;
if( (unsigned int)HalpDmaGetAdapterVersion((__int64)DmaAdapter) == 2 )
IoFreeMapRegistersV2(v4, v5, v3);
else
IoFreeMapRegistersV3(v4, v5, v3);
}