#ifndef __USERTHREAD_H_
#define __USERTHREAD_H_

void thread_libinit(char * policy);

int thread_create(void func(void *), void * arg);

void thread_yield(void);

int thread_join(int tid);

#endif