Home
last modified time | relevance | path

Searched refs:xen_set_irq_priority (Results 1 – 3 of 3) sorted by relevance

/Linux-v4.19/include/xen/
Devents.h51 int xen_set_irq_priority(unsigned irq, unsigned priority);
/Linux-v4.19/arch/x86/xen/
Dtime.c346 (void)xen_set_irq_priority(irq, XEN_IRQ_PRIORITY_MAX); in xen_setup_timer()
/Linux-v4.19/drivers/xen/events/
Devents_base.c1122 int xen_set_irq_priority(unsigned irq, unsigned priority) in xen_set_irq_priority() function
1132 EXPORT_SYMBOL_GPL(xen_set_irq_priority);