Use correct vmcs field to inject an interrupt
authorRonald G. Minnich <rminnich@gmail.com>
Fri, 21 Aug 2015 20:18:08 +0000 (13:18 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 Nov 2015 23:24:25 +0000 (18:24 -0500)
commit15f1fc5b29d73f47f2ea1ccec8ce124fcba4b32d
tree19261c869a0d6f335e13d855f237de4ba708f3c7
parentdcbeccd392dc7b6381d5b076a8fc27421cb97220
Use correct vmcs field to inject an interrupt

Now if only stupid Linux had a way to receive it.

Signed-off-by: Ronald G. Minnich <rminnich@gmail.com>
Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/vmm/intel/vmx.c