VOID __fastcall IoFreeAdapterChannelV3Internal(INT64 a1){
ULONG v1;
v1 = *(_DWORD *)(a1 + 240);
if( v1 )
{
IoFreeMapRegisters((PDMA_ADAPTER)a1, *(PVOID *)(a1 + 232), v1);
*(_DWORD *)(a1 + 240) = 0;
}
if( !*(_BYTE *)(a1 + 433) )
{
if( *(_DWORD *)(a1 + 384) )
HalpFreeDmaChannels(a1);
}
}