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);