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

/l4re-core-master/l4re_c/include/
A D	dataspace.h	144 l4re_ds_flags(l4re_ds_t ds) L4_NOTHROW;
/l4re-core-master/l4re_c/lib/src/
A D	dataspace.cc	90 l4re_ds_flags(l4re_ds_t ds) L4_NOTHROW in l4re_ds_flags() function

Completed in 4 milliseconds

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