Cleans up run_once and friends (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 19 Dec 2012 19:56:42 +0000 (11:56 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Wed, 19 Dec 2012 19:56:42 +0000 (11:56 -0800)
commit6476ec49d236dcbd56bc2b61cb221b89e85903c2
tree0466bcfe76e58887e6d9e342a66664a52feb8e9e
parentb210bd799bd066174b2e8c6599a14b76e04751c9
Cleans up run_once and friends (XCC)

run_once() -> run_once_safe().  The safe one can handle races.  The
others (run_once and init_once) are for known-single-threaded areas.

Reinstall your kernel headers.
kern/include/ros/common.h
user/parlib/slab.c
user/pthread/futex.c