Searched refs:xc_evtchn_reset (Results 1 – 4 of 4) sorted by relevance
64 int xc_evtchn_reset(xc_interface *xch, in xc_evtchn_reset() function
560 r = xc_evtchn_reset(_H(xch), _D(domid)); in stub_xc_evtchn_reset()
1226 int xc_evtchn_reset(xc_interface *xch,
841 if ( xc_evtchn_reset(self->xc_handle, dom) < 0 ) in pyxc_evtchn_reset()
Completed in 14 milliseconds