HalpMcSetUpdateInfoInvalid

VOID __stdcall HalpMcSetUpdateInfoInvalid(){
  void **v0; 
  void **v1; 

  v0 = (void **)*(&CmpDummyThreadEvent + 848);
  *(&CmpDummyThreadEvent + 849) = (char *)&CmpDummyThreadEvent + 6784;
  *(&CmpDummyThreadEvent + 848) = (char *)&CmpDummyThreadEvent + 6784;
  *(&CmpDummyThreadEvent + 6848) = 0;
  while( v0 != (void **)((char *)&CmpDummyThreadEvent + 6784) )
  {
    v1 = v0;
    v0 = (void **)*v0;
    ExFreePoolWithTag(v1, 0);
  }
}

Referenced by: