Searched refs:evtchn_pending_sel (Results 1 – 2 of 2) sorted by relevance
388 &vcpu_info->evtchn_pending_sel)) in unmask_evtchn()1172 (int)(sizeof(v->evtchn_pending_sel)*2), in xen_debug_interrupt()1173 v->evtchn_pending_sel); in xen_debug_interrupt()1217 sync_test_bit(word_idx, &v->evtchn_pending_sel) in xen_debug_interrupt()1271 pending_words = xchg(&vcpu_info->evtchn_pending_sel, 0); in __xen_evtchn_do_upcall()
344 unsigned long evtchn_pending_sel; member