Allow INVPCID from the guest.
authorGan Shun <ganshun@gmail.com>
Thu, 28 Sep 2017 19:25:01 +0000 (12:25 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Thu, 28 Sep 2017 19:42:59 +0000 (15:42 -0400)
commit6196e80c854429e4f9a259ac2746dd01ab1778bc
treeace6e113f0411621f26413aeaf09ca63a36385ad
parent0751e485f215d67b0a2a194c1b303f870844946a
Allow INVPCID from the guest.

Signed-off-by: Gan Shun <ganshun@gmail.com>
Change-Id: Ib8226f5b936d15644a5d35b86f26488aa9696b47
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c
kern/kfs/tinycore_cmdline