Searched refs:L4_obj_fpage_ctl (Results 1 – 2 of 2) sorted by relevance
| /l4re-core-master/l4sys/include/ | ||
| A D | __l4_fpage.h | 242 enum L4_obj_fpage_ctl enum |
| /l4re-core-master/l4sys/include/cxx/ | ||
| A D | ipc_types | 587 * and #L4_obj_fpage_ctl. |
Completed in 3 milliseconds