Searched refs:evtchn_upcall_mask (Results 1 – 8 of 8) sorted by relevance
765 ASSERT(cpu->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask != 0); in xen_uppc_intr_enter()827 ASSERT(vci->evtchn_upcall_mask != 0); in xen_uppc_setspl()
534 ASSERT(cpu->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask != 0); in xen_psm_intr_enter()599 ASSERT(vci->evtchn_upcall_mask != 0); in xen_psm_setspl()
455 uint8_t evtchn_upcall_mask; member
147 evtchn_upcall_mask VCPU_INFO_EVTCHN_UPCALL_MASK
174 evtchn_upcall_mask VCPU_INFO_EVTCHN_UPCALL_MASK
527 if (CPU->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask == 0) { in xen_suspend_domain()668 vcpu->evtchn_upcall_mask, in xen_debug_handler()
992 ASSERT(CPU->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask != 0); in ec_wait_on_evtchn()
2244 ASSERT(CPU->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask == 0); in startup_end()