VOID __stdcall MiCloneDiscardVadCommit(INT64 a1){
_QWORD *v2;
_QWORD *v3;
v2 = *(_QWORD **)(a1 + 8);
if( v2 )
{
do
{
v3 = (_QWORD *)*v2;
ExFreePoolWithTag(v2, 0);
v2 = v3;
}
while( v3 );
}
*(_QWORD *)(a1 + 8) = 0i64;
}