Searched refs:l4re_event_get_buffer (Results 1 – 2 of 2) sorted by relevance
61 l4re_event_get_buffer(const l4_cap_idx_t server,
24 l4re_event_get_buffer(const l4_cap_idx_t server, in l4re_event_get_buffer() function
Completed in 3 milliseconds