Home
last modified time | relevance | path

Searched refs:xen_evtchn_max_channels (Results 1 – 2 of 2) sorted by relevance

/Linux-v4.19/drivers/xen/events/
Devents_base.c111 for (row = 0; row < EVTCHN_ROW(xen_evtchn_max_channels()); row++) { in clear_evtchn_to_irq_all()
123 if (evtchn >= xen_evtchn_max_channels()) in set_evtchn_to_irq()
147 if (evtchn >= xen_evtchn_max_channels()) in get_evtchn_to_irq()
834 if (evtchn >= xen_evtchn_max_channels()) in bind_evtchn_to_irq()
932 for (port = 0; port < xen_evtchn_max_channels(); port++) { in find_virq()
1161 if (evtchn >= xen_evtchn_max_channels()) in evtchn_get()
1678 evtchn_to_irq = kcalloc(EVTCHN_ROW(xen_evtchn_max_channels()), in xen_init_IRQ()
Devents_internal.h85 static inline unsigned xen_evtchn_max_channels(void) in xen_evtchn_max_channels() function