K 10
svn:author
V 4
kris
K 8
svn:date
V 27
2007-03-25T10:05:44.000000Z
K 7
svn:log
V 93
Update a comment: we usually call exec_vmspace_new with Giant not held,
but sometimes it is.

END