NTSTATUS __stdcall HalpDmaFlushDriverMdl(PVOID BugCheckParameter4){
UINT8 v1;
UINT8 v2;
_MDL *v3;
NTSTATUS result;
if( BugCheckParameter4 )
{
v2 = v1;
v3 = (_MDL *)BugCheckParameter4;
do
{
KeFlushIoBuffers(v3, v2, 1u);
v3 = v3->Next;
}
while( v3 );
}
return result;
}