VOID __stdcall WmipUpdateDeviceStackSize(INT8 NewStackSize){
KeWaitForSingleObject((UINT64)&ExBootDevicesRemovedEvent + 3072, 0, 0, 0, 0i64);
if( *(char *)(*(&ExBootDevicesRemovedEvent + 391) + 76i64) < NewStackSize )
*(_BYTE *)(*(&ExBootDevicesRemovedEvent + 391) + 76i64) = NewStackSize;
KeReleaseMutex((_KMUTANT *)((char *)&ExBootDevicesRemovedEvent + 3072), 0);
}