Searched refs:evtchn_pending_sel (Results 1 – 6 of 6) sorted by relevance
242 ulong_t, vci->evtchn_pending_sel); in evtchn_callback_fcn()250 GET_AND_CLEAR(&vci->evtchn_pending_sel, sels); in evtchn_callback_fcn()285 ulong_t, vci->evtchn_pending_sel); in evtchn_callback_fcn()288 ((volatile ulong_t)vci->evtchn_pending_sel)) in evtchn_callback_fcn()
456 unsigned long evtchn_pending_sel; member
1280 pending_sels = vci->evtchn_pending_sel; in xen_callback_handler()1281 } while (atomic_cas_ulong((volatile ulong_t *)&vci->evtchn_pending_sel, in xen_callback_handler()1495 ulp = (volatile ulong_t *)&vci->evtchn_pending_sel; in ec_unmask_evtchn()
669 vcpu->evtchn_pending_sel); in xen_debug_handler()
843 selp = (volatile ulong_t *)&vci->evtchn_pending_sel; in xen_uppc_setspl()
615 selp = (volatile ulong_t *)&vci->evtchn_pending_sel; in xen_psm_setspl()