VOID __stdcall WdipSemUpdateProviderEntriesForScenario(_WDIP_SEM_SCENARIO_INFO *Scenario){
__int64 v1;
bool v3;
v1 = 0i64;
v3 = Scenario[13] != 0;
WdipSemUpdateProviderEntryForEvent((__int64)Scenario, v3);
if( Scenario[13] )
{
do
{
WdipSemUpdateProviderEntryForEvent(*(_QWORD *)&Scenario[2 * v1 + 262], v3);
v1 = (unsigned int)(v1 + 1);
}
while( (unsigned int)v1 < Scenario[13] );
}
}