Searched refs:xc_evtchn_status (Results 1 – 4 of 4) sorted by relevance
25 rc = xc_evtchn_status(xch, &status); in main()
71 int xc_evtchn_status(xc_interface *xch, xc_evtchn_status_t *status) in xc_evtchn_status() function
721 if ((xc_evtchn_status(xc, &status) == 0) && in console_create_ring()
1230 int xc_evtchn_status(xc_interface *xch, xc_evtchn_status_t *status);
Completed in 9 milliseconds