vmm: Allow the user to set GUEST_FS/GS_BASE (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 8 Sep 2017 20:31:09 +0000 (16:31 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 14 Sep 2017 20:37:58 +0000 (16:37 -0400)
commit1f192ee5fa5918f19bb0d881bbfa94dafc881c10
tree35b6b5fccd111d9d07661ba02074b7540eb0dfda
parent609ce655cf6e71b14e10cd82b15f572e1a3e9a60
vmm: Allow the user to set GUEST_FS/GS_BASE (XCC)

We'll need this for TLS for vthreads.  It's not particularly useful for
regular VMs.

Reinstall your kernel headers.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/process64.c
kern/arch/x86/ros/vmm.h
kern/arch/x86/trap64.h
kern/arch/x86/vmm/intel/vmx.c
tests/vmm/vmrunkernel.c
user/vmm/vthread.c