Searched refs:evtchn_pending_sel (Results 1 – 2 of 2) sorted by relevance
82 uint32_t evtchn_pending_sel; member724 if (qatomic_fetch_or(&vcpu_info->evtchn_pending_sel, mask) & mask) { in do_unmask_port_lm()782 if (qatomic_fetch_or(&vcpu_info->evtchn_pending_sel, mask) & mask) { in do_unmask_port_compat()850 if (qatomic_fetch_or(&vcpu_info->evtchn_pending_sel, mask) & mask) { in do_set_port_lm()893 if (qatomic_fetch_or(&vcpu_info->evtchn_pending_sel, mask) & mask) { in do_set_port_compat()
710 xen_ulong_t evtchn_pending_sel; member