Symbol: xen_set_irq_priority
arch/x86/xen/time.c
364
(void)xen_set_irq_priority(irq, XEN_IRQ_PRIORITY_MAX);
drivers/xen/events/events_base.c
1576
EXPORT_SYMBOL_GPL(xen_set_irq_priority);
include/xen/events.h
67
int xen_set_irq_priority(unsigned irq, unsigned priority);