x86: Enumerate reserved eflags (XCC)
authorBarret Rhoden <brho@cs.berkeley.edu>
Mon, 1 Feb 2016 17:08:54 +0000 (12:08 -0500)
committerBarret Rhoden <brho@cs.berkeley.edu>
Tue, 2 Feb 2016 22:43:52 +0000 (17:43 -0500)
commit65bc4bbd7e61abaaf9b4d2b0d031272a42998562
tree86698a9aa5de6bc480eac6812e5900736f560fa3
parent07da31eff7493853a90212b269b0fea3ebbe4c88
x86: Enumerate reserved eflags (XCC)

Eflags/rflags has a few reserved fields.  If you attempt a VM enter with a
reserved bit set incorrectly, vmlaunch/resume will fail due to the bad
state.  Interestingly enough, this won't happen if you attempt to popfl a
bad rflags.  So VMX is picky, but the regular hardware isn't.

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