
void jthread_system_init();
int jthread_create(void (*start_func)(void *), void *arg);
void jthread_exit();


