Searched refs:evtchn_pending_sel32 (Results 1 – 1 of 1) sorted by relevance
534 u32 evtchn_pending_sel32 = evtchn_pending_sel; in kvm_xen_inject_pending_events() local540 : "=r" (evtchn_pending_sel32), in kvm_xen_inject_pending_events()543 : "0" (evtchn_pending_sel32)); in kvm_xen_inject_pending_events()