x86: Uses rbx for the initial vcoreid (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 23 Mar 2015 18:42:55 +0000 (14:42 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 23 Mar 2015 19:18:55 +0000 (15:18 -0400)
commit9b4c899cf9675929a77ff84b6d9d0c6bdc0d5416
tree2c71dfa4a2efbf6d370ea2d63cca5dffdffb2906
parenta027bf8f981e09e9bd5ff241290df2614b02850d
x86: Uses rbx for the initial vcoreid (XCC)

Using rax prevents us from using SW contexts.

Rebuild your toolchain.  You don't need to make clean.
kern/arch/x86/process64.c
user/parlib/include/x86/vcore32.h
user/parlib/include/x86/vcore64.h