Searched refs:evtchn_pending_sel (Results 1 – 2 of 2) sorted by relevance
130 BM(&vcpu_info->evtchn_pending_sel))) in evtchn_2l_unmask()188 pending_words = xchg_xen_ulong(&vcpu_info->evtchn_pending_sel, 0); in evtchn_2l_handle_events()287 (int)(sizeof(v->evtchn_pending_sel)*2), in xen_debug_interrupt()288 v->evtchn_pending_sel); in xen_debug_interrupt()335 sync_test_bit(word_idx, BM(&v->evtchn_pending_sel)) in xen_debug_interrupt()
550 xen_ulong_t evtchn_pending_sel; member
