Permalink
Browse files

Fix compile error in vmm_ipi.c

Use single_apic_ipi() instead of ipi_cpu().
  • Loading branch information...
masami256 committed Jul 26, 2012
1 parent 7c9e009 commit d4f1dfd78644fb7a9c73ced28128cb133300add0
Showing with 3 additions and 1 deletion.
  1. +3 −1 sys/platform/pc64/vmm/vmm_ipi.c
@@ -40,6 +40,8 @@
#include <machine/smp.h>
#include <machine_base/apic/apicvar.h>
#include <machine_base/apic/apicreg.h>
#include <machine_base/apic/lapic.h>
#include <machine/vmm.h>
#include "vmm_ipi.h"
@@ -122,5 +124,5 @@ vm_interrupt_hostcpu(struct vm *vm, int vcpu)
int hostcpu;
if (vcpu_is_running(vm, vcpu, &hostcpu) && hostcpu != mycpuid)
ipi_cpu(hostcpu, ipinum);
single_apic_ipi(hostcpu, ipinum[hostcpu], APIC_DELMODE_LOWPRIO);
}

0 comments on commit d4f1dfd

Please sign in to comment.