59 extern __thread
uword __os_thread_index;
60 extern __thread
uword __os_numa_index;
65 return __os_thread_index;
71 __os_thread_index = thread_index;
77 return __os_numa_index;
83 __os_numa_index = numa_index;
92 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_numa_index(void)
static_always_inline uword os_get_cpu_number(void)
static_always_inline void os_set_numa_index(uword numa_index)
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)