Searched refs:pending_sel (Results 1 – 1 of 1) sorted by relevance
1144 u_long pending_sel = ci->ci_vcpu->evtchn_pending_sel; in xen_debug_handler() local1161 upcall_pending, upcall_mask, pending_sel); in xen_debug_handler()