Searched refs:l4re_event_get_num_streams (Results 1 – 2 of 2) sorted by relevance

/l4re-core-master/l4re_c/include/
A D	event.h	75 l4re_event_get_num_streams(const l4_cap_idx_t server) L4_NOTHROW;
/l4re-core-master/l4re_c/lib/src/
A D	event.cc	33 l4re_event_get_num_streams(const l4_cap_idx_t server) L4_NOTHROW in l4re_event_get_num_streams() function

Completed in 2 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023