cpu_evtchn        269 drivers/xen/events/events_2l.c 	xen_ulong_t *cpu_evtchn = per_cpu(cpu_evtchn_mask, cpu);
cpu_evtchn        314 drivers/xen/events/events_2l.c 		printk("%0*"PRI_xen_ulong"%s", (int)(sizeof(cpu_evtchn[0])*2),
cpu_evtchn        315 drivers/xen/events/events_2l.c 		       cpu_evtchn[i],
cpu_evtchn        322 drivers/xen/events/events_2l.c 			& cpu_evtchn[i];
cpu_evtchn        339 drivers/xen/events/events_2l.c 			       sync_test_bit(i, BM(cpu_evtchn))