Searched refs:xc_evtchn_pending (Results 1 – 2 of 2) sorted by relevance
57 xc_evtchn_pending(xc_evtchn *xce) in xc_evtchn_pending() function
70 xc_evtchn_pending(xc_evtchn *xce);
Completed in 2 milliseconds