Move pop_user_ctx implementations to a .c file
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 20 Apr 2016 21:29:09 +0000 (14:29 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 May 2016 21:11:15 +0000 (17:11 -0400)
commite4a5c00e54b07fe8f5cd90856defa43905128029
tree5b34f3d027f04acedb77239ccfa8050f2fa1ba3d
parent6704bf5d151b779888efc5b4b0730046d2f066eb
Move pop_user_ctx implementations to a .c file

We need the save_user_ctx() functions to be inlined, but we don't need
that for popping the contexts.

I have a fix in a later commit that will be simpler if these functions
are not in a header.

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