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