#include "runtime_internal.h"

#ifdef BITS_64
#define WIN32API
#else
#define WIN32API __stdcall
#endif

extern "C" WIN32API int32_t Sleep(int32_t timeout);

namespace Halide { namespace Runtime { namespace Internal {

WEAK void halide_thread_yield() {
    Sleep(0);
}

}}}