_kern_fork
extern thread_id _kern_fork(void);
thread = _kern_fork();
thread_id thread = _kern_fork();