1 #include "runtime_internal.h"
2 
3 #ifdef BITS_64
4 #define WIN32API
5 #else
6 #define WIN32API __stdcall
7 #endif
8 
9 extern "C" WIN32API int32_t Sleep(int32_t timeout);
10 
halide_thread_yield()11 extern "C" WEAK void halide_thread_yield() {
12     Sleep(0);
13 }
14