vmm: Squelch 'Unsupported IPI' for INIT/SIPI
authorBarret Rhoden <brho@cs.berkeley.edu>
Wed, 27 Sep 2017 18:50:46 +0000 (14:50 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 29 Sep 2017 14:00:03 +0000 (10:00 -0400)
We let them attempt those IPIs, so it's not something to worry about.
These were noticeable if you launched a VM with a lot of cores.

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
user/vmm/vmxmsr.c

index 2d1bd52..f4d8f62 100644 (file)
@@ -177,10 +177,12 @@ static int apic_icr_write(struct guest_thread *vm_thread,
                        vmm_interrupt_guest(vm, destination, vector);
                }
                break;
+       case 0x5:       /* INIT */
+       case 0x6:       /* SIPI */
+               /* We don't use INIT/SIPI for SMP boot.  The guest is still allowed to
+                * try to make them for now. */
+               break;
        default:
-               /* This is not a terrible error, we don't currently support
-                * SIPIs and INIT IPIs. The guest is allowed to try to make
-                * them for now even though we don't do anything. */
                fprintf(stderr, "Unsupported IPI type %d!\n", type);
                break;
        }