bind_evtchn_to_cpu  537 drivers/xen/events/events_base.c 	bind_evtchn_to_cpu(evtchn, 0);
bind_evtchn_to_cpu  857 drivers/xen/events/events_base.c 		bind_evtchn_to_cpu(evtchn, 0);
bind_evtchn_to_cpu  900 drivers/xen/events/events_base.c 		bind_evtchn_to_cpu(evtchn, cpu);
bind_evtchn_to_cpu 1003 drivers/xen/events/events_base.c 		bind_evtchn_to_cpu(evtchn, cpu);
bind_evtchn_to_cpu 1288 drivers/xen/events/events_base.c         bind_evtchn_to_cpu(evtchn, info->cpu);
bind_evtchn_to_cpu 1324 drivers/xen/events/events_base.c 		bind_evtchn_to_cpu(evtchn, tcpu);
bind_evtchn_to_cpu 1471 drivers/xen/events/events_base.c 		bind_evtchn_to_cpu(evtchn, cpu);
bind_evtchn_to_cpu 1495 drivers/xen/events/events_base.c 		bind_evtchn_to_cpu(evtchn, cpu);