+#ifdef HOST_WIN32
+static inline MonoW32HandleWaitRet
+mono_w32handle_convert_wait_ret (guint32 res, guint32 numobjects)
+{
+ if (res >= WAIT_OBJECT_0 && res <= WAIT_OBJECT_0 + numobjects - 1)
+ return MONO_W32HANDLE_WAIT_RET_SUCCESS_0 + (res - WAIT_OBJECT_0);
+ else if (res >= WAIT_ABANDONED_0 && res <= WAIT_ABANDONED_0 + numobjects - 1)
+ return MONO_W32HANDLE_WAIT_RET_ABANDONED_0 + (res - WAIT_ABANDONED_0);
+ else if (res == WAIT_IO_COMPLETION)
+ return MONO_W32HANDLE_WAIT_RET_ALERTED;
+ else if (res == WAIT_TIMEOUT)
+ return MONO_W32HANDLE_WAIT_RET_TIMEOUT;
+ else if (res == WAIT_FAILED)
+ return MONO_W32HANDLE_WAIT_RET_FAILED;
+ else
+ g_error ("%s: unknown res value %d", __func__, res);
+}
+#endif
+
+