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