evtchn_pending_sel  130 drivers/xen/events/events_2l.c 					   BM(&vcpu_info->evtchn_pending_sel)))
evtchn_pending_sel  188 drivers/xen/events/events_2l.c 	pending_words = xchg_xen_ulong(&vcpu_info->evtchn_pending_sel, 0);
evtchn_pending_sel  287 drivers/xen/events/events_2l.c 		       (int)(sizeof(v->evtchn_pending_sel)*2),
evtchn_pending_sel  288 drivers/xen/events/events_2l.c 		       v->evtchn_pending_sel);
evtchn_pending_sel  335 drivers/xen/events/events_2l.c 			       sync_test_bit(word_idx, BM(&v->evtchn_pending_sel))
evtchn_pending_sel  550 include/xen/interface/xen.h 	xen_ulong_t evtchn_pending_sel;