Searched refs:get_evtchn_to_irq (Results 1 – 4 of 4) sorted by relevance
145 int get_evtchn_to_irq(unsigned evtchn) in get_evtchn_to_irq() function257 return get_evtchn_to_irq(evtchn); in irq_from_evtchn()308 int irq = get_evtchn_to_irq(evtchn); in cpu_from_evtchn()334 int irq = get_evtchn_to_irq(chn); in bind_evtchn_to_cpu()849 irq = get_evtchn_to_irq(evtchn); in bind_evtchn_to_irq()1146 int irq = get_evtchn_to_irq(evtchn); in evtchn_make_refcounted()1176 irq = get_evtchn_to_irq(evtchn); in evtchn_get()1200 int irq = get_evtchn_to_irq(evtchn); in evtchn_put()1288 BUG_ON(get_evtchn_to_irq(evtchn) != -1); in rebind_evtchn_irq()
79 int get_evtchn_to_irq(unsigned int evtchn);
242 irq = get_evtchn_to_irq(port); in evtchn_2l_handle_events()333 get_evtchn_to_irq(i), in xen_debug_interrupt()
277 irq = get_evtchn_to_irq(port); in handle_irq_for_port()