/* External panic function. */
void os_panic (void);
-/* External exit function analagous to unix exit. */
+/* External exit function analogous to unix exit. */
void os_exit (int code);
/* External function to print a line. */
return __os_thread_index;
}
+static_always_inline void
+os_set_thread_index (uword thread_index)
+{
+ __os_thread_index = thread_index;
+}
+
static_always_inline uword
os_get_cpu_number (void) __attribute__ ((deprecated));