diff options
| -rw-r--r-- | sys/xen/evtchn/evtchn.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/sys/xen/evtchn/evtchn.c b/sys/xen/evtchn/evtchn.c index 59d24b2..b175b4a 100644 --- a/sys/xen/evtchn/evtchn.c +++ b/sys/xen/evtchn/evtchn.c @@ -225,12 +225,15 @@ evtchn_do_upcall(struct trapframe *frame) } } +/* + * Send an IPI from the current CPU to the destination CPU. + */ void ipi_pcpu(unsigned int cpu, int vector) { int irq; - irq = PCPU_GET(ipi_to_irq[vector]); + irq = pcpu_find(cpu)->pc_ipi_to_irq[vector]; notify_remote_via_irq(irq); } |
