Modified vmx_launch in vmx.c to track the phy core of the vm every exit
authorGanShun <ganshun@gmail.com>
Wed, 4 Nov 2015 15:24:08 +0000 (07:24 -0800)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 13 Nov 2015 20:10:41 +0000 (15:10 -0500)
commit70691bf409035c8c12b24a99b2579cc022e29d48
treeaa7757d7d1f95ed95db2d459c30080094762db7c
parent989eec150da4f9dd3d8a3a68864f18bea7c565e7
Modified vmx_launch in vmx.c to track the phy core of the vm every exit

This change updates the vmctl every time we exit from the vm to ensure
that we keep track of the correct core to send the IPIs to.

Signed-off-by: GanShun <ganshun@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c
kern/arch/x86/vmm/vmm.c
tests/vmm/vmrunkernel.c