xen_set_irq_priority 346 arch/x86/xen/time.c (void)xen_set_irq_priority(irq, XEN_IRQ_PRIORITY_MAX); xen_set_irq_priority 1133 drivers/xen/events/events_base.c EXPORT_SYMBOL_GPL(xen_set_irq_priority); xen_set_irq_priority 52 include/xen/events.h int xen_set_irq_priority(unsigned irq, unsigned priority);