INT8 __fastcall IoFlushAdapterBuffers(INT64 a1, INT64 a2, INT64 a3, INT64 a4, UINT64 Length, INT8 WriteToDevice){
VOID *v6;
VOID *v7;
_ADAPTER_OBJECT *v8;
_MDL *v9;
UINT64 v11;
INT64 v12;
LOBYTE(v12) = WriteToDevice;
LODWORD(v11) = Length;
if( HalpDmaGetAdapterVersion((_ADAPTER_OBJECT *)a1) == 2 )
return IoFlushAdapterBuffersV2(v8, v9, v6, v7, v11, v12);
else
return IoFlushAdapterBuffersV3(v8, v9, v6, v7, v11, v12);
}