Mark parlib 2LS functions as noreturn
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 18 Feb 2016 22:45:59 +0000 (17:45 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 May 2016 21:11:15 +0000 (17:11 -0400)
commit491626731c6058f811144373fdf50c4708f531c4
treef5106a6e83d7e93526c95df3290756b240fed403
parentc605eba524ad728d7f0685a4a251ebe6154a6d2c
Mark parlib 2LS functions as noreturn

There are a bunch of functions in the 2LS that do not return.
run_.*uthread(), vcore_entry(), etc.  Marking them as noreturn will allow
us use the compiler to enforce that functions in specific 2LSs are noreturn
as well.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/parlib/include/parlib/uthread.h
user/parlib/include/parlib/vcore.h
user/parlib/uthread.c