tree 20c670e83f632492da414f019a70e0a963d9eedb
parent 56fbd8e93bd3438b186cc144a5e529018109f6e1
author Barret Rhoden <brho@cs.berkeley.edu> 1484347114 -0500
committer Barret Rhoden <brho@cs.berkeley.edu> 1484751603 -0500

x86: vmm: Disable IRQs when mucking with pcpu GPCs

vmx_clear_vmcs() is called from a few places, and interrupts could be on.
We could have had a race where we start to clear, then get interrupted by
an IPI/IKM that mucks with the per-cpu GPC state.  Then the interrupt
returns.  I didn't see this one - we'd probably need at least one VM
bouncing around the cores to get this bug.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>