Searched refs:cpu_from_evtchn (Results 1 – 3 of 3) sorted by relevance
81 unsigned cpu_from_evtchn(unsigned int evtchn);
94 if (unlikely((cpu != cpu_from_evtchn(port)))) in evtchn_2l_unmask()333 cpu_from_evtchn(i), i, in xen_debug_interrupt()
307 unsigned int cpu_from_evtchn(unsigned int evtchn) in cpu_from_evtchn() function
