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