VOID __stdcall WmipUpdateDeviceStackSize(INT8 NewStackSize){
KeWaitForSingleObject(&WmipSMMutex, Executive, 0, 0, 0i64);
if( *((char *)WmipServiceDeviceObject + 76) < NewStackSize )
*((_BYTE *)WmipServiceDeviceObject + 76) = NewStackSize;
KeReleaseMutex(&WmipSMMutex, 0);
}