Searched refs:l4re_event_buffer_consumer_t (Results 1 – 2 of 2) sorted by relevance
25 typedef struct l4re_event_buffer_consumer_t struct28 } l4re_event_buffer_consumer_t; argument34 l4re_event_buffer_attach(l4re_event_buffer_consumer_t *evbuf,38 l4re_event_buffer_detach(l4re_event_buffer_consumer_t *evbuf,42 l4re_event_buffer_next(l4re_event_buffer_consumer_t *evbuf) L4_NOTHROW;47 l4re_event_buffer_consumer_foreach_available_event(l4re_event_buffer_consumer_t *evbuf,52 l4re_event_buffer_consumer_process(l4re_event_buffer_consumer_t *evbuf,
24 static inline Event_buffer_consumer *cast(l4re_event_buffer_consumer_t *e) throw() in cast()33 l4re_event_buffer_attach(l4re_event_buffer_consumer_t *evbuf, in l4re_event_buffer_attach()43 l4re_event_buffer_detach(l4re_event_buffer_consumer_t *evbuf, in l4re_event_buffer_detach()59 l4re_event_buffer_next(l4re_event_buffer_consumer_t *evbuf) L4_NOTHROW in l4re_event_buffer_next()66 (l4re_event_buffer_consumer_t *evbuf, void *data, in l4re_event_buffer_consumer_foreach_available_event()76 l4re_event_buffer_consumer_process(l4re_event_buffer_consumer_t *evbuf, in l4re_event_buffer_consumer_process()
Completed in 2 milliseconds