Searched refs:osdep_evtchn_open (Results 1 – 7 of 7) sorted by relevance
17 int osdep_evtchn_open(xenevtchn_handle *xce);
52 rc = osdep_evtchn_open(xce); in xenevtchn_open()
32 int osdep_evtchn_open(xenevtchn_handle *xce) in osdep_evtchn_open() function
37 int osdep_evtchn_open(xenevtchn_handle *xce) in osdep_evtchn_open() function
34 int osdep_evtchn_open(xenevtchn_handle *xce) in osdep_evtchn_open() function
66 int osdep_evtchn_open(xenevtchn_handle *xce) in osdep_evtchn_open() function
Completed in 6 milliseconds