Searched refs:evtchn_pending_sel32 (Results 1 – 1 of 1) sorted by relevance
379 u32 evtchn_pending_sel32 = evtchn_pending_sel; in kvm_xen_inject_pending_events() local385 : "=r" (evtchn_pending_sel32), in kvm_xen_inject_pending_events()388 : "0" (evtchn_pending_sel32)); in kvm_xen_inject_pending_events()
