vcpd_of() helper for userspace
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 5 Dec 2011 19:27:32 +0000 (11:27 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 15 Dec 2011 22:48:41 +0000 (14:48 -0800)
commit04b0f89e918f0f14df2bc6fdc196019a46a5e9c0
tree719ece03a9ba05e41c27b43c494163bc5f82e69d
parent68c786f3c32b2790c634eb4914069d0cb81c0a4a
vcpd_of() helper for userspace

There are a few places I didn't change it yet; those are getting
concurrently modified in another commit.

Note I don't have a helper for the kernel.  For now, I want to be
explicit about which entry point into procdata we use (the user address
or the kernel address).
user/c3po/threads/vcore.c
user/parlib/include/vcore.h
user/parlib/uthread.c
user/parlib/vcore.c