59 extern __thread
uword __os_thread_index;
64 return __os_thread_index;
70 __os_thread_index = thread_index;
79 return __os_thread_index;
void os_puts(u8 *string, uword length, uword is_error)
void os_out_of_memory(void)
#define static_always_inline
static_always_inline uword os_get_cpu_number(void)
uword os_get_nthreads(void)
static_always_inline uword os_get_thread_index(void)
static_always_inline void os_set_thread_index(uword thread_index)
f64 os_cpu_clock_frequency(void)