Searched refs:evtchn_pending_sel32 (Results 1 – 1 of 1) sorted by relevance
628 u32 evtchn_pending_sel32 = evtchn_pending_sel; in kvm_xen_inject_pending_events() local634 : "=r" (evtchn_pending_sel32), in kvm_xen_inject_pending_events()637 : "0" (evtchn_pending_sel32)); in kvm_xen_inject_pending_events()