Searched refs:evtchn_pending_sel (Results 1 – 5 of 5) sorted by relevance
132 BM(&vcpu_info->evtchn_pending_sel))) in evtchn_2l_unmask()190 pending_words = xchg_xen_ulong(&vcpu_info->evtchn_pending_sel, 0); in evtchn_2l_handle_events()286 (int)(sizeof(v->evtchn_pending_sel)*2), in xen_debug_interrupt()287 v->evtchn_pending_sel); in xen_debug_interrupt()334 sync_test_bit(word_idx, BM(&v->evtchn_pending_sel)) in xen_debug_interrupt()
79 vcpu->arch.xen.evtchn_pending_sel; in kvm_xen_has_pending_events()203 uint32_t evtchn_pending_sel; member
533 xen_ulong_t evtchn_pending_sel; member
723 unsigned long evtchn_pending_sel; member