WdipSemShutdown

VOID __stdcall WdipSemShutdown(){
  *(&ExBootDevicesRemovedEvent + 557) = 0i64;
  *(&ExBootDevicesRemovedEvent + 4464) = 0;
  WdipSemTimeoutEnabled = 0;
  WdipSemTimeoutValue = 600;
  WdipSemDisableAllProviders();
  WdipDiagLoggerId = 0;
  WdipContextLoggerId = 0;
  memset((char *)&ExBootDevicesRemovedEvent + 3936, 0i64, 0x208u);
  memset((char *)&ExBootDevicesRemovedEvent + 4544, 0i64, 0x2008u);
  stru_140C1C3C8._bf_0 = 0i64;
  *(&ExBootDevicesRemovedEvent + 1132) = 0;
  *(&ExBootDevicesRemovedEvent + 567) = 0i64;
  *(&ExBootDevicesRemovedEvent + 565) = (char *)&ExBootDevicesRemovedEvent + 4512;
  *(&ExBootDevicesRemovedEvent + 564) = (char *)&ExBootDevicesRemovedEvent + 4512;
  WdipSemClearFrequentScenarioTable();
  WdipSemFreePool();
}

Referenced by:

WdipSemCleanStart
WdipSemDisableScenario
WdipSemEnableScenario
WdipSemUpdate