bind_last_selected_cpu  424 drivers/xen/evtchn.c static DEFINE_PER_CPU(int, bind_last_selected_cpu);
bind_last_selected_cpu  439 drivers/xen/evtchn.c 	selected_cpu = this_cpu_read(bind_last_selected_cpu);
bind_last_selected_cpu  447 drivers/xen/evtchn.c 	this_cpu_write(bind_last_selected_cpu, selected_cpu);