VOID __stdcall WdipSemRollBackProviderTable(UINT64 OldNumProviders){
int v1;
unsigned int i;
v1 = OldNumProviders;
for( i = OldNumProviders; i < (unsigned int)::OldNumProviders; ++i )
{
WdipSemFastFree(2i64, *((_SLIST_ENTRY **)&ExBootDevicesRemovedEvent + i + 568));
*((_QWORD *)&ExBootDevicesRemovedEvent + i + 568) = 0i64;
}
LODWORD(::OldNumProviders) = v1;
}