xen: support GSI -> pirq remapping in PV on HVM guests
[firefly-linux-kernel-4.4.55.git] / drivers / xen / events.c
1 /*
2  * Xen event channels
3  *
4  * Xen models interrupts with abstract event channels.  Because each
5  * domain gets 1024 event channels, but NR_IRQ is not that large, we
6  * must dynamically map irqs<->event channels.  The event channels
7  * interface with the rest of the kernel by defining a xen interrupt
8  * chip.  When an event is recieved, it is mapped to an irq and sent
9  * through the normal interrupt processing path.
10  *
11  * There are four kinds of events which can be mapped to an event
12  * channel:
13  *
14  * 1. Inter-domain notifications.  This includes all the virtual
15  *    device events, since they're driven by front-ends in another domain
16  *    (typically dom0).
17  * 2. VIRQs, typically used for timers.  These are per-cpu events.
18  * 3. IPIs.
19  * 4. PIRQs - Hardware interrupts.
20  *
21  * Jeremy Fitzhardinge <jeremy@xensource.com>, XenSource Inc, 2007
22  */
23
24 #include <linux/linkage.h>
25 #include <linux/interrupt.h>
26 #include <linux/irq.h>
27 #include <linux/module.h>
28 #include <linux/string.h>
29 #include <linux/bootmem.h>
30 #include <linux/slab.h>
31 #include <linux/irqnr.h>
32
33 #include <asm/desc.h>
34 #include <asm/ptrace.h>
35 #include <asm/irq.h>
36 #include <asm/idle.h>
37 #include <asm/io_apic.h>
38 #include <asm/sync_bitops.h>
39 #include <asm/xen/pci.h>
40 #include <asm/xen/hypercall.h>
41 #include <asm/xen/hypervisor.h>
42
43 #include <xen/xen.h>
44 #include <xen/hvm.h>
45 #include <xen/xen-ops.h>
46 #include <xen/events.h>
47 #include <xen/interface/xen.h>
48 #include <xen/interface/event_channel.h>
49 #include <xen/interface/hvm/hvm_op.h>
50 #include <xen/interface/hvm/params.h>
51
52 /*
53  * This lock protects updates to the following mapping and reference-count
54  * arrays. The lock does not need to be acquired to read the mapping tables.
55  */
56 static DEFINE_SPINLOCK(irq_mapping_update_lock);
57
58 /* IRQ <-> VIRQ mapping. */
59 static DEFINE_PER_CPU(int [NR_VIRQS], virq_to_irq) = {[0 ... NR_VIRQS-1] = -1};
60
61 /* IRQ <-> IPI mapping */
62 static DEFINE_PER_CPU(int [XEN_NR_IPIS], ipi_to_irq) = {[0 ... XEN_NR_IPIS-1] = -1};
63
64 /* Interrupt types. */
65 enum xen_irq_type {
66         IRQT_UNBOUND = 0,
67         IRQT_PIRQ,
68         IRQT_VIRQ,
69         IRQT_IPI,
70         IRQT_EVTCHN
71 };
72
73 /*
74  * Packed IRQ information:
75  * type - enum xen_irq_type
76  * event channel - irq->event channel mapping
77  * cpu - cpu this event channel is bound to
78  * index - type-specific information:
79  *    PIRQ - vector, with MSB being "needs EIO", or physical IRQ of the HVM
80  *           guest, or GSI (real passthrough IRQ) of the device.
81  *    VIRQ - virq number
82  *    IPI - IPI vector
83  *    EVTCHN -
84  */
85 struct irq_info
86 {
87         enum xen_irq_type type; /* type */
88         unsigned short evtchn;  /* event channel */
89         unsigned short cpu;     /* cpu bound */
90
91         union {
92                 unsigned short virq;
93                 enum ipi_vector ipi;
94                 struct {
95                         unsigned short pirq;
96                         unsigned short gsi;
97                         unsigned char vector;
98                         unsigned char flags;
99                 } pirq;
100         } u;
101 };
102 #define PIRQ_NEEDS_EOI  (1 << 0)
103 #define PIRQ_SHAREABLE  (1 << 1)
104
105 static struct irq_info *irq_info;
106 static int *pirq_to_irq;
107 static int nr_pirqs;
108
109 static int *evtchn_to_irq;
110 struct cpu_evtchn_s {
111         unsigned long bits[NR_EVENT_CHANNELS/BITS_PER_LONG];
112 };
113
114 static __initdata struct cpu_evtchn_s init_evtchn_mask = {
115         .bits[0 ... (NR_EVENT_CHANNELS/BITS_PER_LONG)-1] = ~0ul,
116 };
117 static struct cpu_evtchn_s *cpu_evtchn_mask_p = &init_evtchn_mask;
118
119 static inline unsigned long *cpu_evtchn_mask(int cpu)
120 {
121         return cpu_evtchn_mask_p[cpu].bits;
122 }
123
124 /* Xen will never allocate port zero for any purpose. */
125 #define VALID_EVTCHN(chn)       ((chn) != 0)
126
127 static struct irq_chip xen_dynamic_chip;
128 static struct irq_chip xen_percpu_chip;
129 static struct irq_chip xen_pirq_chip;
130
131 /* Constructor for packed IRQ information. */
132 static struct irq_info mk_unbound_info(void)
133 {
134         return (struct irq_info) { .type = IRQT_UNBOUND };
135 }
136
137 static struct irq_info mk_evtchn_info(unsigned short evtchn)
138 {
139         return (struct irq_info) { .type = IRQT_EVTCHN, .evtchn = evtchn,
140                         .cpu = 0 };
141 }
142
143 static struct irq_info mk_ipi_info(unsigned short evtchn, enum ipi_vector ipi)
144 {
145         return (struct irq_info) { .type = IRQT_IPI, .evtchn = evtchn,
146                         .cpu = 0, .u.ipi = ipi };
147 }
148
149 static struct irq_info mk_virq_info(unsigned short evtchn, unsigned short virq)
150 {
151         return (struct irq_info) { .type = IRQT_VIRQ, .evtchn = evtchn,
152                         .cpu = 0, .u.virq = virq };
153 }
154
155 static struct irq_info mk_pirq_info(unsigned short evtchn, unsigned short pirq,
156                                     unsigned short gsi, unsigned short vector)
157 {
158         return (struct irq_info) { .type = IRQT_PIRQ, .evtchn = evtchn,
159                         .cpu = 0,
160                         .u.pirq = { .pirq = pirq, .gsi = gsi, .vector = vector } };
161 }
162
163 /*
164  * Accessors for packed IRQ information.
165  */
166 static struct irq_info *info_for_irq(unsigned irq)
167 {
168         return &irq_info[irq];
169 }
170
171 static unsigned int evtchn_from_irq(unsigned irq)
172 {
173         return info_for_irq(irq)->evtchn;
174 }
175
176 unsigned irq_from_evtchn(unsigned int evtchn)
177 {
178         return evtchn_to_irq[evtchn];
179 }
180 EXPORT_SYMBOL_GPL(irq_from_evtchn);
181
182 static enum ipi_vector ipi_from_irq(unsigned irq)
183 {
184         struct irq_info *info = info_for_irq(irq);
185
186         BUG_ON(info == NULL);
187         BUG_ON(info->type != IRQT_IPI);
188
189         return info->u.ipi;
190 }
191
192 static unsigned virq_from_irq(unsigned irq)
193 {
194         struct irq_info *info = info_for_irq(irq);
195
196         BUG_ON(info == NULL);
197         BUG_ON(info->type != IRQT_VIRQ);
198
199         return info->u.virq;
200 }
201
202 static unsigned pirq_from_irq(unsigned irq)
203 {
204         struct irq_info *info = info_for_irq(irq);
205
206         BUG_ON(info == NULL);
207         BUG_ON(info->type != IRQT_PIRQ);
208
209         return info->u.pirq.pirq;
210 }
211
212 static unsigned gsi_from_irq(unsigned irq)
213 {
214         struct irq_info *info = info_for_irq(irq);
215
216         BUG_ON(info == NULL);
217         BUG_ON(info->type != IRQT_PIRQ);
218
219         return info->u.pirq.gsi;
220 }
221
222 static unsigned vector_from_irq(unsigned irq)
223 {
224         struct irq_info *info = info_for_irq(irq);
225
226         BUG_ON(info == NULL);
227         BUG_ON(info->type != IRQT_PIRQ);
228
229         return info->u.pirq.vector;
230 }
231
232 static enum xen_irq_type type_from_irq(unsigned irq)
233 {
234         return info_for_irq(irq)->type;
235 }
236
237 static unsigned cpu_from_irq(unsigned irq)
238 {
239         return info_for_irq(irq)->cpu;
240 }
241
242 static unsigned int cpu_from_evtchn(unsigned int evtchn)
243 {
244         int irq = evtchn_to_irq[evtchn];
245         unsigned ret = 0;
246
247         if (irq != -1)
248                 ret = cpu_from_irq(irq);
249
250         return ret;
251 }
252
253 static bool pirq_needs_eoi(unsigned irq)
254 {
255         struct irq_info *info = info_for_irq(irq);
256
257         BUG_ON(info->type != IRQT_PIRQ);
258
259         return info->u.pirq.flags & PIRQ_NEEDS_EOI;
260 }
261
262 static inline unsigned long active_evtchns(unsigned int cpu,
263                                            struct shared_info *sh,
264                                            unsigned int idx)
265 {
266         return (sh->evtchn_pending[idx] &
267                 cpu_evtchn_mask(cpu)[idx] &
268                 ~sh->evtchn_mask[idx]);
269 }
270
271 static void bind_evtchn_to_cpu(unsigned int chn, unsigned int cpu)
272 {
273         int irq = evtchn_to_irq[chn];
274
275         BUG_ON(irq == -1);
276 #ifdef CONFIG_SMP
277         cpumask_copy(irq_to_desc(irq)->affinity, cpumask_of(cpu));
278 #endif
279
280         __clear_bit(chn, cpu_evtchn_mask(cpu_from_irq(irq)));
281         __set_bit(chn, cpu_evtchn_mask(cpu));
282
283         irq_info[irq].cpu = cpu;
284 }
285
286 static void init_evtchn_cpu_bindings(void)
287 {
288 #ifdef CONFIG_SMP
289         struct irq_desc *desc;
290         int i;
291
292         /* By default all event channels notify CPU#0. */
293         for_each_irq_desc(i, desc) {
294                 cpumask_copy(desc->affinity, cpumask_of(0));
295         }
296 #endif
297
298         memset(cpu_evtchn_mask(0), ~0, sizeof(cpu_evtchn_mask(0)));
299 }
300
301 static inline void clear_evtchn(int port)
302 {
303         struct shared_info *s = HYPERVISOR_shared_info;
304         sync_clear_bit(port, &s->evtchn_pending[0]);
305 }
306
307 static inline void set_evtchn(int port)
308 {
309         struct shared_info *s = HYPERVISOR_shared_info;
310         sync_set_bit(port, &s->evtchn_pending[0]);
311 }
312
313 static inline int test_evtchn(int port)
314 {
315         struct shared_info *s = HYPERVISOR_shared_info;
316         return sync_test_bit(port, &s->evtchn_pending[0]);
317 }
318
319
320 /**
321  * notify_remote_via_irq - send event to remote end of event channel via irq
322  * @irq: irq of event channel to send event to
323  *
324  * Unlike notify_remote_via_evtchn(), this is safe to use across
325  * save/restore. Notifications on a broken connection are silently
326  * dropped.
327  */
328 void notify_remote_via_irq(int irq)
329 {
330         int evtchn = evtchn_from_irq(irq);
331
332         if (VALID_EVTCHN(evtchn))
333                 notify_remote_via_evtchn(evtchn);
334 }
335 EXPORT_SYMBOL_GPL(notify_remote_via_irq);
336
337 static void mask_evtchn(int port)
338 {
339         struct shared_info *s = HYPERVISOR_shared_info;
340         sync_set_bit(port, &s->evtchn_mask[0]);
341 }
342
343 static void unmask_evtchn(int port)
344 {
345         struct shared_info *s = HYPERVISOR_shared_info;
346         unsigned int cpu = get_cpu();
347
348         BUG_ON(!irqs_disabled());
349
350         /* Slow path (hypercall) if this is a non-local port. */
351         if (unlikely(cpu != cpu_from_evtchn(port))) {
352                 struct evtchn_unmask unmask = { .port = port };
353                 (void)HYPERVISOR_event_channel_op(EVTCHNOP_unmask, &unmask);
354         } else {
355                 struct vcpu_info *vcpu_info = __get_cpu_var(xen_vcpu);
356
357                 sync_clear_bit(port, &s->evtchn_mask[0]);
358
359                 /*
360                  * The following is basically the equivalent of
361                  * 'hw_resend_irq'. Just like a real IO-APIC we 'lose
362                  * the interrupt edge' if the channel is masked.
363                  */
364                 if (sync_test_bit(port, &s->evtchn_pending[0]) &&
365                     !sync_test_and_set_bit(port / BITS_PER_LONG,
366                                            &vcpu_info->evtchn_pending_sel))
367                         vcpu_info->evtchn_upcall_pending = 1;
368         }
369
370         put_cpu();
371 }
372
373 static int get_nr_hw_irqs(void)
374 {
375         int ret = 1;
376
377 #ifdef CONFIG_X86_IO_APIC
378         ret = get_nr_irqs_gsi();
379 #endif
380
381         return ret;
382 }
383
384 /* callers of this function should make sure that PHYSDEVOP_get_nr_pirqs
385  * succeeded otherwise nr_pirqs won't hold the right value */
386 static int find_unbound_pirq(void)
387 {
388         int i;
389         for (i = nr_pirqs-1; i >= 0; i--) {
390                 if (pirq_to_irq[i] < 0)
391                         return i;
392         }
393         return -1;
394 }
395
396 static int find_unbound_irq(void)
397 {
398         struct irq_data *data;
399         int irq, res;
400         int start = get_nr_hw_irqs();
401
402         if (start == nr_irqs)
403                 goto no_irqs;
404
405         /* nr_irqs is a magic value. Must not use it.*/
406         for (irq = nr_irqs-1; irq > start; irq--) {
407                 data = irq_get_irq_data(irq);
408                 /* only 0->15 have init'd desc; handle irq > 16 */
409                 if (!data)
410                         break;
411                 if (data->chip == &no_irq_chip)
412                         break;
413                 if (data->chip != &xen_dynamic_chip)
414                         continue;
415                 if (irq_info[irq].type == IRQT_UNBOUND)
416                         return irq;
417         }
418
419         if (irq == start)
420                 goto no_irqs;
421
422         res = irq_alloc_desc_at(irq, 0);
423
424         if (WARN_ON(res != irq))
425                 return -1;
426
427         return irq;
428
429 no_irqs:
430         panic("No available IRQ to bind to: increase nr_irqs!\n");
431 }
432
433 static bool identity_mapped_irq(unsigned irq)
434 {
435         /* identity map all the hardware irqs */
436         return irq < get_nr_hw_irqs();
437 }
438
439 static void pirq_unmask_notify(int irq)
440 {
441         struct physdev_eoi eoi = { .irq = pirq_from_irq(irq) };
442
443         if (unlikely(pirq_needs_eoi(irq))) {
444                 int rc = HYPERVISOR_physdev_op(PHYSDEVOP_eoi, &eoi);
445                 WARN_ON(rc);
446         }
447 }
448
449 static void pirq_query_unmask(int irq)
450 {
451         struct physdev_irq_status_query irq_status;
452         struct irq_info *info = info_for_irq(irq);
453
454         BUG_ON(info->type != IRQT_PIRQ);
455
456         irq_status.irq = pirq_from_irq(irq);
457         if (HYPERVISOR_physdev_op(PHYSDEVOP_irq_status_query, &irq_status))
458                 irq_status.flags = 0;
459
460         info->u.pirq.flags &= ~PIRQ_NEEDS_EOI;
461         if (irq_status.flags & XENIRQSTAT_needs_eoi)
462                 info->u.pirq.flags |= PIRQ_NEEDS_EOI;
463 }
464
465 static bool probing_irq(int irq)
466 {
467         struct irq_desc *desc = irq_to_desc(irq);
468
469         return desc && desc->action == NULL;
470 }
471
472 static unsigned int startup_pirq(unsigned int irq)
473 {
474         struct evtchn_bind_pirq bind_pirq;
475         struct irq_info *info = info_for_irq(irq);
476         int evtchn = evtchn_from_irq(irq);
477         int rc;
478
479         BUG_ON(info->type != IRQT_PIRQ);
480
481         if (VALID_EVTCHN(evtchn))
482                 goto out;
483
484         bind_pirq.pirq = pirq_from_irq(irq);
485         /* NB. We are happy to share unless we are probing. */
486         bind_pirq.flags = info->u.pirq.flags & PIRQ_SHAREABLE ?
487                                         BIND_PIRQ__WILL_SHARE : 0;
488         rc = HYPERVISOR_event_channel_op(EVTCHNOP_bind_pirq, &bind_pirq);
489         if (rc != 0) {
490                 if (!probing_irq(irq))
491                         printk(KERN_INFO "Failed to obtain physical IRQ %d\n",
492                                irq);
493                 return 0;
494         }
495         evtchn = bind_pirq.port;
496
497         pirq_query_unmask(irq);
498
499         evtchn_to_irq[evtchn] = irq;
500         bind_evtchn_to_cpu(evtchn, 0);
501         info->evtchn = evtchn;
502
503 out:
504         unmask_evtchn(evtchn);
505         pirq_unmask_notify(irq);
506
507         return 0;
508 }
509
510 static void shutdown_pirq(unsigned int irq)
511 {
512         struct evtchn_close close;
513         struct irq_info *info = info_for_irq(irq);
514         int evtchn = evtchn_from_irq(irq);
515
516         BUG_ON(info->type != IRQT_PIRQ);
517
518         if (!VALID_EVTCHN(evtchn))
519                 return;
520
521         mask_evtchn(evtchn);
522
523         close.port = evtchn;
524         if (HYPERVISOR_event_channel_op(EVTCHNOP_close, &close) != 0)
525                 BUG();
526
527         bind_evtchn_to_cpu(evtchn, 0);
528         evtchn_to_irq[evtchn] = -1;
529         info->evtchn = 0;
530 }
531
532 static void enable_pirq(unsigned int irq)
533 {
534         startup_pirq(irq);
535 }
536
537 static void disable_pirq(unsigned int irq)
538 {
539 }
540
541 static void ack_pirq(unsigned int irq)
542 {
543         int evtchn = evtchn_from_irq(irq);
544
545         move_native_irq(irq);
546
547         if (VALID_EVTCHN(evtchn)) {
548                 mask_evtchn(evtchn);
549                 clear_evtchn(evtchn);
550         }
551 }
552
553 static void end_pirq(unsigned int irq)
554 {
555         int evtchn = evtchn_from_irq(irq);
556         struct irq_desc *desc = irq_to_desc(irq);
557
558         if (WARN_ON(!desc))
559                 return;
560
561         if ((desc->status & (IRQ_DISABLED|IRQ_PENDING)) ==
562             (IRQ_DISABLED|IRQ_PENDING)) {
563                 shutdown_pirq(irq);
564         } else if (VALID_EVTCHN(evtchn)) {
565                 unmask_evtchn(evtchn);
566                 pirq_unmask_notify(irq);
567         }
568 }
569
570 static int find_irq_by_gsi(unsigned gsi)
571 {
572         int irq;
573
574         for (irq = 0; irq < nr_irqs; irq++) {
575                 struct irq_info *info = info_for_irq(irq);
576
577                 if (info == NULL || info->type != IRQT_PIRQ)
578                         continue;
579
580                 if (gsi_from_irq(irq) == gsi)
581                         return irq;
582         }
583
584         return -1;
585 }
586
587 int xen_allocate_pirq(unsigned gsi, int shareable, char *name)
588 {
589         return xen_map_pirq_gsi(gsi, gsi, shareable, name);
590 }
591
592 /* xen_map_pirq_gsi might allocate irqs from the top down, as a
593  * consequence don't assume that the irq number returned has a low value
594  * or can be used as a pirq number unless you know otherwise.
595  *
596  * One notable exception is when xen_map_pirq_gsi is called passing an
597  * hardware gsi as argument, in that case the irq number returned
598  * matches the gsi number passed as second argument.
599  *
600  * Note: We don't assign an event channel until the irq actually started
601  * up.  Return an existing irq if we've already got one for the gsi.
602  */
603 int xen_map_pirq_gsi(unsigned pirq, unsigned gsi, int shareable, char *name)
604 {
605         int irq = 0;
606         struct physdev_irq irq_op;
607
608         spin_lock(&irq_mapping_update_lock);
609
610         if ((pirq > nr_pirqs) || (gsi > nr_irqs)) {
611                 printk(KERN_WARNING "xen_map_pirq_gsi: %s %s is incorrect!\n",
612                         pirq > nr_pirqs ? "nr_pirqs" :"",
613                         gsi > nr_irqs ? "nr_irqs" : "");
614                 goto out;
615         }
616
617         irq = find_irq_by_gsi(gsi);
618         if (irq != -1) {
619                 printk(KERN_INFO "xen_map_pirq_gsi: returning irq %d for gsi %u\n",
620                        irq, gsi);
621                 goto out;       /* XXX need refcount? */
622         }
623
624         /* If we are a PV guest, we don't have GSIs (no ACPI passed). Therefore
625          * we are using the !xen_initial_domain() to drop in the function.*/
626         if (identity_mapped_irq(gsi) || (!xen_initial_domain() &&
627                                 xen_pv_domain())) {
628                 irq = gsi;
629                 irq_alloc_desc_at(irq, 0);
630         } else
631                 irq = find_unbound_irq();
632
633         set_irq_chip_and_handler_name(irq, &xen_pirq_chip,
634                                       handle_level_irq, name);
635
636         irq_op.irq = irq;
637         irq_op.vector = 0;
638
639         /* Only the privileged domain can do this. For non-priv, the pcifront
640          * driver provides a PCI bus that does the call to do exactly
641          * this in the priv domain. */
642         if (xen_initial_domain() &&
643             HYPERVISOR_physdev_op(PHYSDEVOP_alloc_irq_vector, &irq_op)) {
644                 irq_free_desc(irq);
645                 irq = -ENOSPC;
646                 goto out;
647         }
648
649         irq_info[irq] = mk_pirq_info(0, pirq, gsi, irq_op.vector);
650         irq_info[irq].u.pirq.flags |= shareable ? PIRQ_SHAREABLE : 0;
651         pirq_to_irq[pirq] = irq;
652
653 out:
654         spin_unlock(&irq_mapping_update_lock);
655
656         return irq;
657 }
658
659 int xen_destroy_irq(int irq)
660 {
661         struct irq_desc *desc;
662         int rc = -ENOENT;
663
664         spin_lock(&irq_mapping_update_lock);
665
666         desc = irq_to_desc(irq);
667         if (!desc)
668                 goto out;
669
670         irq_info[irq] = mk_unbound_info();
671
672         irq_free_desc(irq);
673
674 out:
675         spin_unlock(&irq_mapping_update_lock);
676         return rc;
677 }
678
679 int xen_vector_from_irq(unsigned irq)
680 {
681         return vector_from_irq(irq);
682 }
683
684 int xen_gsi_from_irq(unsigned irq)
685 {
686         return gsi_from_irq(irq);
687 }
688
689 int bind_evtchn_to_irq(unsigned int evtchn)
690 {
691         int irq;
692
693         spin_lock(&irq_mapping_update_lock);
694
695         irq = evtchn_to_irq[evtchn];
696
697         if (irq == -1) {
698                 irq = find_unbound_irq();
699
700                 set_irq_chip_and_handler_name(irq, &xen_dynamic_chip,
701                                               handle_edge_irq, "event");
702
703                 evtchn_to_irq[evtchn] = irq;
704                 irq_info[irq] = mk_evtchn_info(evtchn);
705         }
706
707         spin_unlock(&irq_mapping_update_lock);
708
709         return irq;
710 }
711 EXPORT_SYMBOL_GPL(bind_evtchn_to_irq);
712
713 static int bind_ipi_to_irq(unsigned int ipi, unsigned int cpu)
714 {
715         struct evtchn_bind_ipi bind_ipi;
716         int evtchn, irq;
717
718         spin_lock(&irq_mapping_update_lock);
719
720         irq = per_cpu(ipi_to_irq, cpu)[ipi];
721
722         if (irq == -1) {
723                 irq = find_unbound_irq();
724                 if (irq < 0)
725                         goto out;
726
727                 set_irq_chip_and_handler_name(irq, &xen_percpu_chip,
728                                               handle_percpu_irq, "ipi");
729
730                 bind_ipi.vcpu = cpu;
731                 if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_ipi,
732                                                 &bind_ipi) != 0)
733                         BUG();
734                 evtchn = bind_ipi.port;
735
736                 evtchn_to_irq[evtchn] = irq;
737                 irq_info[irq] = mk_ipi_info(evtchn, ipi);
738                 per_cpu(ipi_to_irq, cpu)[ipi] = irq;
739
740                 bind_evtchn_to_cpu(evtchn, cpu);
741         }
742
743  out:
744         spin_unlock(&irq_mapping_update_lock);
745         return irq;
746 }
747
748
749 static int bind_virq_to_irq(unsigned int virq, unsigned int cpu)
750 {
751         struct evtchn_bind_virq bind_virq;
752         int evtchn, irq;
753
754         spin_lock(&irq_mapping_update_lock);
755
756         irq = per_cpu(virq_to_irq, cpu)[virq];
757
758         if (irq == -1) {
759                 bind_virq.virq = virq;
760                 bind_virq.vcpu = cpu;
761                 if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_virq,
762                                                 &bind_virq) != 0)
763                         BUG();
764                 evtchn = bind_virq.port;
765
766                 irq = find_unbound_irq();
767
768                 set_irq_chip_and_handler_name(irq, &xen_percpu_chip,
769                                               handle_percpu_irq, "virq");
770
771                 evtchn_to_irq[evtchn] = irq;
772                 irq_info[irq] = mk_virq_info(evtchn, virq);
773
774                 per_cpu(virq_to_irq, cpu)[virq] = irq;
775
776                 bind_evtchn_to_cpu(evtchn, cpu);
777         }
778
779         spin_unlock(&irq_mapping_update_lock);
780
781         return irq;
782 }
783
784 static void unbind_from_irq(unsigned int irq)
785 {
786         struct evtchn_close close;
787         int evtchn = evtchn_from_irq(irq);
788
789         spin_lock(&irq_mapping_update_lock);
790
791         if (VALID_EVTCHN(evtchn)) {
792                 close.port = evtchn;
793                 if (HYPERVISOR_event_channel_op(EVTCHNOP_close, &close) != 0)
794                         BUG();
795
796                 switch (type_from_irq(irq)) {
797                 case IRQT_VIRQ:
798                         per_cpu(virq_to_irq, cpu_from_evtchn(evtchn))
799                                 [virq_from_irq(irq)] = -1;
800                         break;
801                 case IRQT_IPI:
802                         per_cpu(ipi_to_irq, cpu_from_evtchn(evtchn))
803                                 [ipi_from_irq(irq)] = -1;
804                         break;
805                 default:
806                         break;
807                 }
808
809                 /* Closed ports are implicitly re-bound to VCPU0. */
810                 bind_evtchn_to_cpu(evtchn, 0);
811
812                 evtchn_to_irq[evtchn] = -1;
813         }
814
815         if (irq_info[irq].type != IRQT_UNBOUND) {
816                 irq_info[irq] = mk_unbound_info();
817
818                 irq_free_desc(irq);
819         }
820
821         spin_unlock(&irq_mapping_update_lock);
822 }
823
824 int bind_evtchn_to_irqhandler(unsigned int evtchn,
825                               irq_handler_t handler,
826                               unsigned long irqflags,
827                               const char *devname, void *dev_id)
828 {
829         unsigned int irq;
830         int retval;
831
832         irq = bind_evtchn_to_irq(evtchn);
833         retval = request_irq(irq, handler, irqflags, devname, dev_id);
834         if (retval != 0) {
835                 unbind_from_irq(irq);
836                 return retval;
837         }
838
839         return irq;
840 }
841 EXPORT_SYMBOL_GPL(bind_evtchn_to_irqhandler);
842
843 int bind_virq_to_irqhandler(unsigned int virq, unsigned int cpu,
844                             irq_handler_t handler,
845                             unsigned long irqflags, const char *devname, void *dev_id)
846 {
847         unsigned int irq;
848         int retval;
849
850         irq = bind_virq_to_irq(virq, cpu);
851         retval = request_irq(irq, handler, irqflags, devname, dev_id);
852         if (retval != 0) {
853                 unbind_from_irq(irq);
854                 return retval;
855         }
856
857         return irq;
858 }
859 EXPORT_SYMBOL_GPL(bind_virq_to_irqhandler);
860
861 int bind_ipi_to_irqhandler(enum ipi_vector ipi,
862                            unsigned int cpu,
863                            irq_handler_t handler,
864                            unsigned long irqflags,
865                            const char *devname,
866                            void *dev_id)
867 {
868         int irq, retval;
869
870         irq = bind_ipi_to_irq(ipi, cpu);
871         if (irq < 0)
872                 return irq;
873
874         irqflags |= IRQF_NO_SUSPEND;
875         retval = request_irq(irq, handler, irqflags, devname, dev_id);
876         if (retval != 0) {
877                 unbind_from_irq(irq);
878                 return retval;
879         }
880
881         return irq;
882 }
883
884 void unbind_from_irqhandler(unsigned int irq, void *dev_id)
885 {
886         free_irq(irq, dev_id);
887         unbind_from_irq(irq);
888 }
889 EXPORT_SYMBOL_GPL(unbind_from_irqhandler);
890
891 void xen_send_IPI_one(unsigned int cpu, enum ipi_vector vector)
892 {
893         int irq = per_cpu(ipi_to_irq, cpu)[vector];
894         BUG_ON(irq < 0);
895         notify_remote_via_irq(irq);
896 }
897
898 irqreturn_t xen_debug_interrupt(int irq, void *dev_id)
899 {
900         struct shared_info *sh = HYPERVISOR_shared_info;
901         int cpu = smp_processor_id();
902         int i;
903         unsigned long flags;
904         static DEFINE_SPINLOCK(debug_lock);
905
906         spin_lock_irqsave(&debug_lock, flags);
907
908         printk("vcpu %d\n  ", cpu);
909
910         for_each_online_cpu(i) {
911                 struct vcpu_info *v = per_cpu(xen_vcpu, i);
912                 printk("%d: masked=%d pending=%d event_sel %08lx\n  ", i,
913                         (get_irq_regs() && i == cpu) ? xen_irqs_disabled(get_irq_regs()) : v->evtchn_upcall_mask,
914                         v->evtchn_upcall_pending,
915                         v->evtchn_pending_sel);
916         }
917         printk("pending:\n   ");
918         for(i = ARRAY_SIZE(sh->evtchn_pending)-1; i >= 0; i--)
919                 printk("%08lx%s", sh->evtchn_pending[i],
920                         i % 8 == 0 ? "\n   " : " ");
921         printk("\nmasks:\n   ");
922         for(i = ARRAY_SIZE(sh->evtchn_mask)-1; i >= 0; i--)
923                 printk("%08lx%s", sh->evtchn_mask[i],
924                         i % 8 == 0 ? "\n   " : " ");
925
926         printk("\nunmasked:\n   ");
927         for(i = ARRAY_SIZE(sh->evtchn_mask)-1; i >= 0; i--)
928                 printk("%08lx%s", sh->evtchn_pending[i] & ~sh->evtchn_mask[i],
929                         i % 8 == 0 ? "\n   " : " ");
930
931         printk("\npending list:\n");
932         for(i = 0; i < NR_EVENT_CHANNELS; i++) {
933                 if (sync_test_bit(i, sh->evtchn_pending)) {
934                         printk("  %d: event %d -> irq %d\n",
935                                cpu_from_evtchn(i), i,
936                                evtchn_to_irq[i]);
937                 }
938         }
939
940         spin_unlock_irqrestore(&debug_lock, flags);
941
942         return IRQ_HANDLED;
943 }
944
945 static DEFINE_PER_CPU(unsigned, xed_nesting_count);
946
947 /*
948  * Search the CPUs pending events bitmasks.  For each one found, map
949  * the event number to an irq, and feed it into do_IRQ() for
950  * handling.
951  *
952  * Xen uses a two-level bitmap to speed searching.  The first level is
953  * a bitset of words which contain pending event bits.  The second
954  * level is a bitset of pending events themselves.
955  */
956 static void __xen_evtchn_do_upcall(void)
957 {
958         int cpu = get_cpu();
959         struct shared_info *s = HYPERVISOR_shared_info;
960         struct vcpu_info *vcpu_info = __get_cpu_var(xen_vcpu);
961         unsigned count;
962
963         do {
964                 unsigned long pending_words;
965
966                 vcpu_info->evtchn_upcall_pending = 0;
967
968                 if (__get_cpu_var(xed_nesting_count)++)
969                         goto out;
970
971 #ifndef CONFIG_X86 /* No need for a barrier -- XCHG is a barrier on x86. */
972                 /* Clear master flag /before/ clearing selector flag. */
973                 wmb();
974 #endif
975                 pending_words = xchg(&vcpu_info->evtchn_pending_sel, 0);
976                 while (pending_words != 0) {
977                         unsigned long pending_bits;
978                         int word_idx = __ffs(pending_words);
979                         pending_words &= ~(1UL << word_idx);
980
981                         while ((pending_bits = active_evtchns(cpu, s, word_idx)) != 0) {
982                                 int bit_idx = __ffs(pending_bits);
983                                 int port = (word_idx * BITS_PER_LONG) + bit_idx;
984                                 int irq = evtchn_to_irq[port];
985                                 struct irq_desc *desc;
986
987                                 if (irq != -1) {
988                                         desc = irq_to_desc(irq);
989                                         if (desc)
990                                                 generic_handle_irq_desc(irq, desc);
991                                 }
992                         }
993                 }
994
995                 BUG_ON(!irqs_disabled());
996
997                 count = __get_cpu_var(xed_nesting_count);
998                 __get_cpu_var(xed_nesting_count) = 0;
999         } while (count != 1 || vcpu_info->evtchn_upcall_pending);
1000
1001 out:
1002
1003         put_cpu();
1004 }
1005
1006 void xen_evtchn_do_upcall(struct pt_regs *regs)
1007 {
1008         struct pt_regs *old_regs = set_irq_regs(regs);
1009
1010         exit_idle();
1011         irq_enter();
1012
1013         __xen_evtchn_do_upcall();
1014
1015         irq_exit();
1016         set_irq_regs(old_regs);
1017 }
1018
1019 void xen_hvm_evtchn_do_upcall(void)
1020 {
1021         __xen_evtchn_do_upcall();
1022 }
1023 EXPORT_SYMBOL_GPL(xen_hvm_evtchn_do_upcall);
1024
1025 /* Rebind a new event channel to an existing irq. */
1026 void rebind_evtchn_irq(int evtchn, int irq)
1027 {
1028         struct irq_info *info = info_for_irq(irq);
1029
1030         /* Make sure the irq is masked, since the new event channel
1031            will also be masked. */
1032         disable_irq(irq);
1033
1034         spin_lock(&irq_mapping_update_lock);
1035
1036         /* After resume the irq<->evtchn mappings are all cleared out */
1037         BUG_ON(evtchn_to_irq[evtchn] != -1);
1038         /* Expect irq to have been bound before,
1039            so there should be a proper type */
1040         BUG_ON(info->type == IRQT_UNBOUND);
1041
1042         evtchn_to_irq[evtchn] = irq;
1043         irq_info[irq] = mk_evtchn_info(evtchn);
1044
1045         spin_unlock(&irq_mapping_update_lock);
1046
1047         /* new event channels are always bound to cpu 0 */
1048         irq_set_affinity(irq, cpumask_of(0));
1049
1050         /* Unmask the event channel. */
1051         enable_irq(irq);
1052 }
1053
1054 /* Rebind an evtchn so that it gets delivered to a specific cpu */
1055 static int rebind_irq_to_cpu(unsigned irq, unsigned tcpu)
1056 {
1057         struct evtchn_bind_vcpu bind_vcpu;
1058         int evtchn = evtchn_from_irq(irq);
1059
1060         /* events delivered via platform PCI interrupts are always
1061          * routed to vcpu 0 */
1062         if (!VALID_EVTCHN(evtchn) ||
1063                 (xen_hvm_domain() && !xen_have_vector_callback))
1064                 return -1;
1065
1066         /* Send future instances of this interrupt to other vcpu. */
1067         bind_vcpu.port = evtchn;
1068         bind_vcpu.vcpu = tcpu;
1069
1070         /*
1071          * If this fails, it usually just indicates that we're dealing with a
1072          * virq or IPI channel, which don't actually need to be rebound. Ignore
1073          * it, but don't do the xenlinux-level rebind in that case.
1074          */
1075         if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_vcpu, &bind_vcpu) >= 0)
1076                 bind_evtchn_to_cpu(evtchn, tcpu);
1077
1078         return 0;
1079 }
1080
1081 static int set_affinity_irq(unsigned irq, const struct cpumask *dest)
1082 {
1083         unsigned tcpu = cpumask_first(dest);
1084
1085         return rebind_irq_to_cpu(irq, tcpu);
1086 }
1087
1088 int resend_irq_on_evtchn(unsigned int irq)
1089 {
1090         int masked, evtchn = evtchn_from_irq(irq);
1091         struct shared_info *s = HYPERVISOR_shared_info;
1092
1093         if (!VALID_EVTCHN(evtchn))
1094                 return 1;
1095
1096         masked = sync_test_and_set_bit(evtchn, s->evtchn_mask);
1097         sync_set_bit(evtchn, s->evtchn_pending);
1098         if (!masked)
1099                 unmask_evtchn(evtchn);
1100
1101         return 1;
1102 }
1103
1104 static void enable_dynirq(unsigned int irq)
1105 {
1106         int evtchn = evtchn_from_irq(irq);
1107
1108         if (VALID_EVTCHN(evtchn))
1109                 unmask_evtchn(evtchn);
1110 }
1111
1112 static void disable_dynirq(unsigned int irq)
1113 {
1114         int evtchn = evtchn_from_irq(irq);
1115
1116         if (VALID_EVTCHN(evtchn))
1117                 mask_evtchn(evtchn);
1118 }
1119
1120 static void ack_dynirq(unsigned int irq)
1121 {
1122         int evtchn = evtchn_from_irq(irq);
1123
1124         move_native_irq(irq);
1125
1126         if (VALID_EVTCHN(evtchn))
1127                 clear_evtchn(evtchn);
1128 }
1129
1130 static int retrigger_dynirq(unsigned int irq)
1131 {
1132         int evtchn = evtchn_from_irq(irq);
1133         struct shared_info *sh = HYPERVISOR_shared_info;
1134         int ret = 0;
1135
1136         if (VALID_EVTCHN(evtchn)) {
1137                 int masked;
1138
1139                 masked = sync_test_and_set_bit(evtchn, sh->evtchn_mask);
1140                 sync_set_bit(evtchn, sh->evtchn_pending);
1141                 if (!masked)
1142                         unmask_evtchn(evtchn);
1143                 ret = 1;
1144         }
1145
1146         return ret;
1147 }
1148
1149 static void restore_cpu_virqs(unsigned int cpu)
1150 {
1151         struct evtchn_bind_virq bind_virq;
1152         int virq, irq, evtchn;
1153
1154         for (virq = 0; virq < NR_VIRQS; virq++) {
1155                 if ((irq = per_cpu(virq_to_irq, cpu)[virq]) == -1)
1156                         continue;
1157
1158                 BUG_ON(virq_from_irq(irq) != virq);
1159
1160                 /* Get a new binding from Xen. */
1161                 bind_virq.virq = virq;
1162                 bind_virq.vcpu = cpu;
1163                 if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_virq,
1164                                                 &bind_virq) != 0)
1165                         BUG();
1166                 evtchn = bind_virq.port;
1167
1168                 /* Record the new mapping. */
1169                 evtchn_to_irq[evtchn] = irq;
1170                 irq_info[irq] = mk_virq_info(evtchn, virq);
1171                 bind_evtchn_to_cpu(evtchn, cpu);
1172
1173                 /* Ready for use. */
1174                 unmask_evtchn(evtchn);
1175         }
1176 }
1177
1178 static void restore_cpu_ipis(unsigned int cpu)
1179 {
1180         struct evtchn_bind_ipi bind_ipi;
1181         int ipi, irq, evtchn;
1182
1183         for (ipi = 0; ipi < XEN_NR_IPIS; ipi++) {
1184                 if ((irq = per_cpu(ipi_to_irq, cpu)[ipi]) == -1)
1185                         continue;
1186
1187                 BUG_ON(ipi_from_irq(irq) != ipi);
1188
1189                 /* Get a new binding from Xen. */
1190                 bind_ipi.vcpu = cpu;
1191                 if (HYPERVISOR_event_channel_op(EVTCHNOP_bind_ipi,
1192                                                 &bind_ipi) != 0)
1193                         BUG();
1194                 evtchn = bind_ipi.port;
1195
1196                 /* Record the new mapping. */
1197                 evtchn_to_irq[evtchn] = irq;
1198                 irq_info[irq] = mk_ipi_info(evtchn, ipi);
1199                 bind_evtchn_to_cpu(evtchn, cpu);
1200
1201                 /* Ready for use. */
1202                 unmask_evtchn(evtchn);
1203
1204         }
1205 }
1206
1207 /* Clear an irq's pending state, in preparation for polling on it */
1208 void xen_clear_irq_pending(int irq)
1209 {
1210         int evtchn = evtchn_from_irq(irq);
1211
1212         if (VALID_EVTCHN(evtchn))
1213                 clear_evtchn(evtchn);
1214 }
1215 EXPORT_SYMBOL(xen_clear_irq_pending);
1216 void xen_set_irq_pending(int irq)
1217 {
1218         int evtchn = evtchn_from_irq(irq);
1219
1220         if (VALID_EVTCHN(evtchn))
1221                 set_evtchn(evtchn);
1222 }
1223
1224 bool xen_test_irq_pending(int irq)
1225 {
1226         int evtchn = evtchn_from_irq(irq);
1227         bool ret = false;
1228
1229         if (VALID_EVTCHN(evtchn))
1230                 ret = test_evtchn(evtchn);
1231
1232         return ret;
1233 }
1234
1235 /* Poll waiting for an irq to become pending with timeout.  In the usual case,
1236  * the irq will be disabled so it won't deliver an interrupt. */
1237 void xen_poll_irq_timeout(int irq, u64 timeout)
1238 {
1239         evtchn_port_t evtchn = evtchn_from_irq(irq);
1240
1241         if (VALID_EVTCHN(evtchn)) {
1242                 struct sched_poll poll;
1243
1244                 poll.nr_ports = 1;
1245                 poll.timeout = timeout;
1246                 set_xen_guest_handle(poll.ports, &evtchn);
1247
1248                 if (HYPERVISOR_sched_op(SCHEDOP_poll, &poll) != 0)
1249                         BUG();
1250         }
1251 }
1252 EXPORT_SYMBOL(xen_poll_irq_timeout);
1253 /* Poll waiting for an irq to become pending.  In the usual case, the
1254  * irq will be disabled so it won't deliver an interrupt. */
1255 void xen_poll_irq(int irq)
1256 {
1257         xen_poll_irq_timeout(irq, 0 /* no timeout */);
1258 }
1259
1260 void xen_irq_resume(void)
1261 {
1262         unsigned int cpu, irq, evtchn;
1263
1264         init_evtchn_cpu_bindings();
1265
1266         /* New event-channel space is not 'live' yet. */
1267         for (evtchn = 0; evtchn < NR_EVENT_CHANNELS; evtchn++)
1268                 mask_evtchn(evtchn);
1269
1270         /* No IRQ <-> event-channel mappings. */
1271         for (irq = 0; irq < nr_irqs; irq++)
1272                 irq_info[irq].evtchn = 0; /* zap event-channel binding */
1273
1274         for (evtchn = 0; evtchn < NR_EVENT_CHANNELS; evtchn++)
1275                 evtchn_to_irq[evtchn] = -1;
1276
1277         for_each_possible_cpu(cpu) {
1278                 restore_cpu_virqs(cpu);
1279                 restore_cpu_ipis(cpu);
1280         }
1281 }
1282
1283 static struct irq_chip xen_dynamic_chip __read_mostly = {
1284         .name           = "xen-dyn",
1285
1286         .disable        = disable_dynirq,
1287         .mask           = disable_dynirq,
1288         .unmask         = enable_dynirq,
1289
1290         .ack            = ack_dynirq,
1291         .set_affinity   = set_affinity_irq,
1292         .retrigger      = retrigger_dynirq,
1293 };
1294
1295 static struct irq_chip xen_pirq_chip __read_mostly = {
1296         .name           = "xen-pirq",
1297
1298         .startup        = startup_pirq,
1299         .shutdown       = shutdown_pirq,
1300
1301         .enable         = enable_pirq,
1302         .unmask         = enable_pirq,
1303
1304         .disable        = disable_pirq,
1305         .mask           = disable_pirq,
1306
1307         .ack            = ack_pirq,
1308         .end            = end_pirq,
1309
1310         .set_affinity   = set_affinity_irq,
1311
1312         .retrigger      = retrigger_dynirq,
1313 };
1314
1315 static struct irq_chip xen_percpu_chip __read_mostly = {
1316         .name           = "xen-percpu",
1317
1318         .disable        = disable_dynirq,
1319         .mask           = disable_dynirq,
1320         .unmask         = enable_dynirq,
1321
1322         .ack            = ack_dynirq,
1323 };
1324
1325 int xen_set_callback_via(uint64_t via)
1326 {
1327         struct xen_hvm_param a;
1328         a.domid = DOMID_SELF;
1329         a.index = HVM_PARAM_CALLBACK_IRQ;
1330         a.value = via;
1331         return HYPERVISOR_hvm_op(HVMOP_set_param, &a);
1332 }
1333 EXPORT_SYMBOL_GPL(xen_set_callback_via);
1334
1335 #ifdef CONFIG_XEN_PVHVM
1336 /* Vector callbacks are better than PCI interrupts to receive event
1337  * channel notifications because we can receive vector callbacks on any
1338  * vcpu and we don't need PCI support or APIC interactions. */
1339 void xen_callback_vector(void)
1340 {
1341         int rc;
1342         uint64_t callback_via;
1343         if (xen_have_vector_callback) {
1344                 callback_via = HVM_CALLBACK_VECTOR(XEN_HVM_EVTCHN_CALLBACK);
1345                 rc = xen_set_callback_via(callback_via);
1346                 if (rc) {
1347                         printk(KERN_ERR "Request for Xen HVM callback vector"
1348                                         " failed.\n");
1349                         xen_have_vector_callback = 0;
1350                         return;
1351                 }
1352                 printk(KERN_INFO "Xen HVM callback vector for event delivery is "
1353                                 "enabled\n");
1354                 /* in the restore case the vector has already been allocated */
1355                 if (!test_bit(XEN_HVM_EVTCHN_CALLBACK, used_vectors))
1356                         alloc_intr_gate(XEN_HVM_EVTCHN_CALLBACK, xen_hvm_callback_vector);
1357         }
1358 }
1359 #else
1360 void xen_callback_vector(void) {}
1361 #endif
1362
1363 void __init xen_init_IRQ(void)
1364 {
1365         int i, rc;
1366         struct physdev_nr_pirqs op_nr_pirqs;
1367
1368         cpu_evtchn_mask_p = kcalloc(nr_cpu_ids, sizeof(struct cpu_evtchn_s),
1369                                     GFP_KERNEL);
1370         irq_info = kcalloc(nr_irqs, sizeof(*irq_info), GFP_KERNEL);
1371
1372         rc = HYPERVISOR_physdev_op(PHYSDEVOP_get_nr_pirqs, &op_nr_pirqs);
1373         if (rc < 0) {
1374                 nr_pirqs = nr_irqs;
1375                 if (rc != -ENOSYS)
1376                         printk(KERN_WARNING "PHYSDEVOP_get_nr_pirqs returned rc=%d\n", rc);
1377         } else {
1378                 if (xen_pv_domain() && !xen_initial_domain())
1379                         nr_pirqs = max((int)op_nr_pirqs.nr_pirqs, nr_irqs);
1380                 else
1381                         nr_pirqs = op_nr_pirqs.nr_pirqs;
1382         }
1383         pirq_to_irq = kcalloc(nr_pirqs, sizeof(*pirq_to_irq), GFP_KERNEL);
1384         for (i = 0; i < nr_pirqs; i++)
1385                 pirq_to_irq[i] = -1;
1386
1387         evtchn_to_irq = kcalloc(NR_EVENT_CHANNELS, sizeof(*evtchn_to_irq),
1388                                     GFP_KERNEL);
1389         for (i = 0; i < NR_EVENT_CHANNELS; i++)
1390                 evtchn_to_irq[i] = -1;
1391
1392         init_evtchn_cpu_bindings();
1393
1394         /* No event channels are 'live' right now. */
1395         for (i = 0; i < NR_EVENT_CHANNELS; i++)
1396                 mask_evtchn(i);
1397
1398         if (xen_hvm_domain()) {
1399                 xen_callback_vector();
1400                 native_init_IRQ();
1401                 /* pci_xen_hvm_init must be called after native_init_IRQ so that
1402                  * __acpi_register_gsi can point at the right function */
1403                 pci_xen_hvm_init();
1404         } else {
1405                 irq_ctx_init(smp_processor_id());
1406         }
1407 }