cpu_from_evtchn 94 drivers/xen/events/events_2l.c if (unlikely((cpu != cpu_from_evtchn(port)))) cpu_from_evtchn 333 drivers/xen/events/events_2l.c cpu_from_evtchn(i), i, cpu_from_evtchn 81 drivers/xen/events/events_internal.h unsigned cpu_from_evtchn(unsigned int evtchn);