Searched refs:l4re_event_t (Results 1 – 3 of 3) sorted by relevance
31 l4re_event_free(l4re_event_t *e) L4_NOTHROW;41 L4_CV l4re_event_t *44 typedef L4_CV void l4re_event_buffer_cb_t(l4re_event_t *ev, void *data);
47 } l4re_event_t; typedef
51 l4re_event_free(l4re_event_t *e) L4_NOTHROW in l4re_event_free()58 L4_CV l4re_event_t *61 return (l4re_event_t*)cast(evbuf)->next(); in l4re_event_buffer_next()
Completed in 6 milliseconds