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