/* Creates a new kernel thread named NAME with the given initial
PRIORITY, which executes FUNCTION passing AUX as the argument,
- and adds it to the ready queue. If thread_start() has been
- called, then the new thread may be scheduled before
- thread_create() returns. It could even exit before
- thread_create() returns. Use a semaphore or some other form
- of synchronization if you need to ensure ordering. Returns
- the thread identifier for the new thread, or TID_ERROR if
- creation fails.
+ and adds it to the ready queue. Returns the thread identifier
+ for the new thread, or TID_ERROR if creation fails.
+
+ If thread_start() has been called, then the new thread may be
+ scheduled before thread_create() returns. It could even exit
+ before thread_create() returns. Contrariwise, the original
+ thread may run for any amount of time before the new thread is
+ scheduled. Use a semaphore or some other form of
+ synchronization if you need to ensure ordering.
The code provided sets the new thread's `priority' member to
PRIORITY, but no actual priority scheduling is implemented.