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)
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

index a8a9e51..f7d293d 100644 (file)
@@ -1684,7 +1684,7 @@ int vmx_launch(struct vmctl *v) {
                 */
                if (v->interrupt) {
                        printk("Set GUEST_INTERRUPTIBILITY_INFO to 0x%x\n", v->interrupt);
-                       vmcs_writel(GUEST_INTERRUPTIBILITY_INFO, v->interrupt);
+                       vmcs_writel(VM_ENTRY_INTR_INFO_FIELD, v->interrupt);
                        v->interrupt = 0;
                }
                printd("RESUME\n");