tree f32e42c0289cd3b434d6efe461aaad9924c30855
parent 06b98026248c7d1ee95d21519ae5199f71c2484f
author Barret Rhoden <brho@cs.berkeley.edu> 1484074876 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1484751602 -0500

Fix proc refcounting comments

The comment in __proc_startcore() was old (2009), and did not get updated
in commit d705057abc58 ("cur_proc broken up into owning_proc and
cur_proc"), which is also old (2011).

proc_destroy() used to not return if it was trying to kill the calling
process.  That changed a long time ago too, but the comment didn't.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>