#include "runtime_internal.h"

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

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

extern "C" WEAK void halide_thread_yield() {
    Sleep(0);
}