VOID __stdcall IoFreeMapRegisters(PDMA_ADAPTER DmaAdapter, PVOID MapRegisterBase, ULONG NumberOfMapRegisters){
UINT64 v3;
_ADAPTER_OBJECT *v4;
_HALP_DMA_TRANSLATION_ENTRY *v5;
if( HalpDmaGetAdapterVersion((_ADAPTER_OBJECT *)DmaAdapter) == 2 )
IoFreeMapRegistersV2(v4, v5, v3);
else
IoFreeMapRegistersV3(v4, v5, v3);
}