Searched refs:evtchn_reset (Results 1 – 11 of 11) sorted by relevance
272 struct evtchn_reset { struct276 typedef struct evtchn_reset evtchn_reset_t; argument
67 struct evtchn_reset arg = { .dom = dom }; in xc_evtchn_reset()
145 int evtchn_reset(struct domain *d);
47 set_to_dummy_if_null(ops, evtchn_reset); in xsm_fixup_ops()
1010 int evtchn_reset(struct domain *d) in evtchn_reset() function1155 struct evtchn_reset reset; in do_event_channel_op()1167 rc = evtchn_reset(d); in do_event_channel_op()
1101 rc = evtchn_reset(d); in domain_soft_reset()
64 int (*evtchn_reset) (struct domain *d1, struct domain *d2); member266 return xsm_ops->evtchn_reset(d1, d2); in xsm_evtchn_reset()
146 external evtchn_reset : handle -> domid -> unit = "stub_xc_evtchn_reset"
224 external evtchn_reset: handle -> domid -> unit = "stub_xc_evtchn_reset"
585 struct evtchn_reset reset; in pv_shim_event_channel_op()
1740 .evtchn_reset = flask_evtchn_reset,
Completed in 25 milliseconds