Searched refs:evtchn_cb_t (Results 1 – 2 of 2) sorted by relevance
14 typedef void (*evtchn_cb_t)(void *priv); typedef17 evtchn_cb_t cb;61 evtchn_cb_t cb, void *data);71 int bind_event_channel(evtchn_port_t port, evtchn_cb_t cb, void *data);
69 evtchn_cb_t cb, void *data) in bind_interdomain_event_channel()127 int bind_event_channel(evtchn_port_t port, evtchn_cb_t cb, void *data) in bind_event_channel()
