Searched refs:evtchn_upcall_mask (Results 1 – 7 of 7) sorted by relevance
766 ASSERT(cpu->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask != 0); in xen_uppc_intr_enter()828 ASSERT(vci->evtchn_upcall_mask != 0); in xen_uppc_setspl()
535 ASSERT(cpu->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask != 0); in xen_psm_intr_enter()600 ASSERT(vci->evtchn_upcall_mask != 0); in xen_psm_setspl()
455 uint8_t evtchn_upcall_mask; member
174 evtchn_upcall_mask VCPU_INFO_EVTCHN_UPCALL_MASK
518 if (CPU->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask == 0) { in xen_suspend_domain()658 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()
2206 ASSERT(CPU->cpu_m.mcpu_vcpu_info->evtchn_upcall_mask == 0); in startup_end()