cpu_from_evtchn
cpu_from_evtchn(i), i,
if (unlikely((cpu != cpu_from_evtchn(port))))
unsigned int cpu_from_evtchn(evtchn_port_t evtchn);