scheduling:  Add sched_yield()
pthreads:  Define mutex functions