Searched refs:get_evtchn_to_irq (Results 1 – 3 of 3) sorted by relevance
234 int get_evtchn_to_irq(evtchn_port_t evtchn) in get_evtchn_to_irq() function361 return get_evtchn_to_irq(evtchn); in irq_from_evtchn()412 int irq = get_evtchn_to_irq(evtchn); in cpu_from_evtchn()438 int irq = get_evtchn_to_irq(evtchn); in bind_evtchn_to_cpu()1100 irq = get_evtchn_to_irq(evtchn); in bind_evtchn_to_irq_chip()1451 int irq = get_evtchn_to_irq(evtchn); in evtchn_make_refcounted()1481 irq = get_evtchn_to_irq(evtchn); in evtchn_get()1505 int irq = get_evtchn_to_irq(evtchn); in evtchn_put()1541 irq = get_evtchn_to_irq(port); in handle_irq_for_port()1640 BUG_ON(get_evtchn_to_irq(evtchn) != -1); in rebind_evtchn_irq()
36 int get_evtchn_to_irq(evtchn_port_t evtchn);
334 get_evtchn_to_irq(i), in xen_debug_interrupt()
